Symbol: rdtscp32
lib/libsys/x86/__vdso_gettc.c
137
return (rdtscp32());
sys/x86/x86/tsc.c
917
return (rdtscp32());