Symbol: dummy_intr_teardown
sys/platform/vkernel64/platform/machintr.c
58
static void dummy_intr_teardown(int);
sys/platform/vkernel64/platform/machintr.c
69
.intr_teardown = dummy_intr_teardown,