Symbol: sched_ithd_hard_virtual
sys/platform/vkernel64/platform/machintr.c
147
sched_ithd_hard_virtual(irq);
sys/platform/vkernel64/platform/machintr.c
182
sched_ithd_hard_virtual(intr);
sys/sys/interrupt.h
128
void sched_ithd_hard_virtual(int intr);