Constant X86_CR3_LAM_U57_BIT 

pub const X86_CR3_LAM_U57_BIT: u32 = 61;