poke_cpu_intr
poke_cpu_inum = add_softintr(PIL_13, poke_cpu_intr, 0, SOFTINT_MT);
uint_t poke_cpu_intr(caddr_t arg1, caddr_t arg2);