Symbol: hpet_vdso_timehands32
sys/dev/acpica/acpi_hpet.c
595
sc->tc.tc_fill_vdso_timehands32 = hpet_vdso_timehands32;
sys/dev/acpica/acpi_hpet.h
73
uint32_t hpet_vdso_timehands32(struct vdso_timehands32 *vdso_th32,