voidsmp_message_recv(intmsg){switch(msg) {casePPC_MSG_CALL_FUNCTION:generic_smp_call_function_interrupt();break;casePPC_MSG_RESCHEDULE:/* we notice need_resched on exit */break;casePPC_MSG_CALL_FUNC_SINGLE: generic_smp_call_function_single_interrupt();break;casePPC_MSG_DEBUGGER_BREAK:if(cr...