pub const X86_CR0_PG_BIT: u32 = 31; // 31u32