cpu_state_change_notify
cpu_state_change_notify(cp->cpu_id, CPU_CPUPART_OUT);
cpu_state_change_notify(cp->cpu_id, CPU_CPUPART_IN);
cpu_state_change_notify(cp->cpu_id, CPU_CPUPART_IN);
cpu_state_change_notify(cp->cpu_id,
cpu_state_change_notify(cp->cpu_id, CPU_CPUPART_IN);
cpu_state_change_notify(cp->cpu_id, CPU_CPUPART_IN);
cpu_state_change_notify(cp->cpu_id, CPU_ON);
cpu_state_change_notify(cp->cpu_id, CPU_INTR_ON);
cpu_state_change_notify(cp->cpu_id, CPU_OFF);
cpu_state_change_notify(cp->cpu_id, CPU_ON);
cpu_state_change_notify(cp->cpu_id, CPU_INTR_ON);
cpu_state_change_notify(cp->cpu_id, CPU_INIT);
extern void cpu_state_change_notify(int, cpu_setup_t);
cpu_state_change_notify(who, CPU_SETUP);
cpu_state_change_notify(cpuid, CPU_SETUP);