PIL_13
poke_cpu_inum = add_softintr(PIL_13, poke_cpu_intr, 0, SOFTINT_MT);
siron_poke_cpu_inum = add_softintr(PIL_13,