Searched refs:acpi_detect (Results 1 – 3 of 3) sorted by relevance
4 extern int acpi_detect(void);10 printf("acpi: %d\n", acpi_detect()); in main()
58 int acpi_detect(void);288 acpi_detect(void) in acpi_detect() function
1121 acpi_detect(void) in acpi_detect() function1200 acpi_detect(); in main()