Symbol: hd6446x_intr_raise
sys/arch/hpcsh/dev/hd6446x/hd6446xintcvar.h
52
extern int hd6446x_intr_raise(int);
sys/arch/hpcsh/include/intr.h
65
return hd6446x_intr_raise(icookie._ipl);