mp_disable_intr
int (*psm_disable_intr)(int) = mp_disable_intr;
static int mp_disable_intr(processorid_t cpun);