acpica_map_cpu
(void) acpica_map_cpu(i, proc_ids[i]);
} else if (ACPI_FAILURE(acpica_map_cpu(cpuid, procid))) {
extern ACPI_STATUS acpica_map_cpu(processorid_t, UINT32);