Symbol: pvclock_tc_vdso_timehands32
sys/x86/x86/pvclock.c
317
pvc->tc.tc_fill_vdso_timehands32 = pvclock_tc_vdso_timehands32;
sys/x86/x86/pvclock.c
68
static uint32_t pvclock_tc_vdso_timehands32(