Symbol: rdtscp_aux
lib/libsys/x86/__vdso_gettc.c
363
(void)rdtscp_aux(&cpuid_ti);
lib/libsys/x86/__vdso_gettc.c
366
tsc = rdtscp_aux(&cpuid_tsc);