pcmu_cb_intr_dist
intr_dist_add(pcmu_cb_intr_dist, pcb_p);
intr_dist_rem(pcmu_cb_intr_dist, pcb_p);
extern void pcmu_cb_intr_dist(void *arg);