Symbol: CR4_PCE
sys/cpu/x86_64/include/specialreg.h
63
#define CR4_PCE 0x00000100 /* Performance monitoring counter enable */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
676
#define CR4_PCE __BIT(8) /* Performance monitoring counter enable */