mp_enable_intr
void (*psm_enable_intr)(int) = mp_enable_intr;
static void mp_enable_intr(processorid_t cpun);