Constant LOAD_TLB_AS_64BIT

pub const LOAD_TLB_AS_64BIT: u32 = 64;