andrew 3e3733a177 Only read the ACPI proximity tabled on arm64 when we are booting from ... ACPI. Sponsored by: DARPA, AFRL		2018-12-11 11:13:11 +00:00
..
acpi_machdep.c	Only read the ACPI proximity tabled on arm64 when we are booting from	2018-12-11 11:13:11 +00:00
acpi_wakeup.c
OsdEnvironment.c
pci_cfgreg.c