Symbol: CR4_TSD
sys/arch/amd64/include/specialreg.h
70
#define CR4_TSD 0x00000004 /* restrict RDTSC instruction to cpl 0 only */
sys/arch/i386/include/specialreg.h
66
#define CR4_TSD 0x00000004 /* restrict RDTSC instruction to cpl 0 only */