Symbol: CR4_PCIDE
sys/arch/amd64/include/specialreg.h
83
#define CR4_PCIDE 0x00020000 /* enable process-context IDs */
sys/arch/i386/include/specialreg.h
79
#define CR4_PCIDE 0x00020000 /* enable process-context IDs */