Symbol: CR4_PCIDE
sys/cpu/x86_64/include/specialreg.h
71
#define CR4_PCIDE 0x00020000 /* Enable Process Context IDentifiers */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
684
#define CR4_PCIDE __BIT(17) /* Enable Process Context IDentifiers */