tools/tools/ncpus/ncpus.c

   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 }