write_c0_brcm_action
write_c0_brcm_action(ACTION_CLR_IPI(i, 0));
write_c0_brcm_action(ACTION_CLR_IPI(i, 1));
write_c0_brcm_action(ACTION_BOOT_THREAD(cpu));
write_c0_brcm_action(ACTION_CLR_IPI(smp_processor_id(), 0));
write_c0_brcm_action(ACTION_SET_IPI(cpu, action == SMP_CALL_FUNCTION));
write_c0_brcm_action(ACTION_CLR_IPI(smp_processor_id(), action));