generic3a_ipi_intr
set_intr(INTPRI_IPI, CR_INT_4, generic3a_ipi_intr);
uint32_t generic3a_ipi_intr(uint32_t, struct trapframe *);