Symbol: tsc_tick
usr/src/uts/i86pc/os/timestamp.c
755
hrtime_tick = tsc_tick;
usr/src/uts/i86pc/os/timestamp.c
874
extern void tsc_tick(void);
usr/src/uts/i86pc/os/timestamp.c
920
tsc_tick();