1 2 #include <stdio.h> 3 4 extern int acpi_detect(void); 5 extern int biosmptable_detect(void); 6 7 int 8 main(void) 9 { 10 printf("acpi: %d\n", acpi_detect()); 11 #if defined(__amd64__) || defined(__i386__) 12 printf("mptable: %d\n", biosmptable_detect()); 13 #endif 14 return 0; 15 } 16