HomeSort by: relevance | last modified time | path
    Searched refs:CR4_TSD (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/x86/x86/
tsc.c 374 lcr4(rcr4() & ~CR4_TSD);
376 lcr4(rcr4() | CR4_TSD);
  /src/sys/arch/x86/include/
specialreg.h 102 #define CR4_TSD 0x00000004 /* Restrict RDTSC instruction to cpl 0 */
  /src/sys/dev/nvmm/x86/
nvmm_x86_svm.c 530 CR4_TSD | \
nvmm_x86_vmx.c 737 CR4_TSD | \

Completed in 18 milliseconds