apix_irm_enable_intr
psm_enable_intr = apix_irm_enable_intr;
void apix_irm_enable_intr(processorid_t);