Symbol: tsc_tick
usr/src/uts/i86pc/os/timestamp.c
754
hrtime_tick = tsc_tick;
usr/src/uts/i86pc/os/timestamp.c
873
extern void tsc_tick(void);
usr/src/uts/i86pc/os/timestamp.c
919
tsc_tick();