Constant LOAD_TLB_AS_64BIT 

pub const LOAD_TLB_AS_64BIT: u32 = 64u32;