Symbol: CR4_PGE
sys/cpu/x86_64/include/specialreg.h
62
#define CR4_PGE 0x00000080 /* Page global enable */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
675
#define CR4_PGE __BIT(7) /* Page global enable */