cpu_acpi_init
mach_state->ms_acpi_handle = cpu_acpi_init(cp);
extern cpu_acpi_handle_t cpu_acpi_init(cpu_t *);