virttimer_trampoline  366 kern/kern_fork.c 	timeout_set(&p2->p_stats->p_virt_to, virttimer_trampoline, p2);
virttimer_trampoline  100 sys/resourcevar.h void	virttimer_trampoline(void *);