CR0_PG 57 kernel/arch/amd64/include/arch/cpu.h #define CR0_PG (1 << 31) CR0_PG 50 kernel/arch/ia32/include/arch/cpu.h #define CR0_PG (1 << 31)