Symbol: vkernel_timer_construct
sys/platform/vkernel64/platform/systimer.c
87
static void vkernel_timer_construct(struct cputimer *timer, sysclock_t oclock);
sys/platform/vkernel64/platform/systimer.c
98
.construct = vkernel_timer_construct,