Symbol: acpi_detect
stand/efi/acpica/include/acpi_detect.h
39
void acpi_detect(void);
stand/efi/loader/main.c
1243
acpi_detect();
tools/tools/ncpus/acpi.c
58
int acpi_detect(void);
tools/tools/ncpus/ncpus.c
10
printf("acpi: %d\n", acpi_detect());
tools/tools/ncpus/ncpus.c
4
extern int acpi_detect(void);