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