pub const X86_CR0_PG_BIT: u32 = 31;