_cpu_intr_raise
return _cpu_intr_raise(icookie._ipl);
return _cpu_intr_raise(icookie._ipl);
return _cpu_intr_raise(icookie._ipl);
return _cpu_intr_raise(icookie._ipl);
int _cpu_intr_raise(int);