Symbol: vktimer_intr
sys/platform/vkernel64/include/md_var.h
127
void vktimer_intr(struct intrframe *);
sys/platform/vkernel64/platform/machintr.c
152
vktimer_intr(NULL);
sys/platform/vkernel64/platform/systimer.c
184
kqueue_timer_info = kqueue_add_timer(vktimer_intr, NULL);
sys/platform/vkernel64/x86_64/exception.c
178
vktimer_intr(NULL);