mpacpi_scan_apics
int mpacpi_scan_apics(device_t, int *);
mpacpi_active = mpacpi_scan_apics(self, &numcpus) != 0;