Symbol: hpet_read_timer_32
usr/src/uts/i86pc/os/tscc_hpet.c
108
hpet_now = hpet_read_timer_32();
usr/src/uts/i86pc/os/tscc_hpet.c
90
hpet_start = hpet_read_timer_32();
usr/src/uts/i86pc/sys/hpet.h
77
uint32_t hpet_read_timer_32(void);