cpu_intr
(*platform.cpu_intr)(ppl, pc, status);
void (*cpu_intr)(int, vaddr_t, u_int32_t);
platform.cpu_intr = TX_INTR;
#define TX_INTR cpu_intr /* locore_mips3 directly call this */
#define TX_INTR cpu_intr /* locore_mips3 directly call this */
#define VR_INTR cpu_intr /* locore_mips3 directly call this */
platform.cpu_intr = VR_INTR;
void cpu_intr(int, vaddr_t, uint32_t);
void cpu_intr(struct trapframe */*tf*/, register_t /*epc*/,
void cpu_intr(int, vaddr_t, uint32_t);
static void cpu_intr(char **);
{ "intr", true, false, cpu_intr },