psm_intr_exit_fn
setlvlx = psm_intr_exit_fn();
(*psm_intr_exit_fn())(prev_ipl, irq);
ASSERT(drep != NULL || *setlvlx == psm_intr_exit_fn());
extern intr_exit_fn_t psm_intr_exit_fn(void);
setlvlx = psm_intr_exit_fn();
(*psm_intr_exit_fn())(prev_ipl, irq);
ASSERT(drep != NULL || *setlvlx == psm_intr_exit_fn());