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