Symbol: dummy_intr_disable
sys/platform/vkernel64/platform/machintr.c
55
static void dummy_intr_disable(int);
sys/platform/vkernel64/platform/machintr.c
66
.intr_disable = dummy_intr_disable,