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