Symbol: CR4_TSD
sys/cpu/x86_64/include/specialreg.h
57
#define CR4_TSD 0x00000004 /* Time stamp disable */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
670
#define CR4_TSD __BIT(2) /* Time stamp disable */