Constant X86_CR3_LAM_U48_BIT 

pub const X86_CR3_LAM_U48_BIT: u32 = 62;