Symbol: hpet_read_timer
usr/src/uts/i86pc/os/tscc_hpet.c
65
hpet_now = hpet_read_timer();
usr/src/uts/i86pc/os/tscc_hpet.c
70
hpet_now = hpet_read_timer();
usr/src/uts/i86pc/sys/hpet.h
76
uint64_t hpet_read_timer(void);