Symbol: vktimer_intr_reload
sys/platform/vkernel64/platform/systimer.c
103
static void vktimer_intr_reload(struct cputimer_intr *, sysclock_t);
sys/platform/vkernel64/platform/systimer.c
108
.reload = vktimer_intr_reload,