Symbol: pc_gethrestime
usr/src/uts/i86pc/os/mp_machdep.c
107
extern void pc_gethrestime(timestruc_t *);
usr/src/uts/i86pc/os/mp_machdep.c
145
void (*gethrestimef)(timestruc_t *) = pc_gethrestime;