Constant ARM64_RegisterTtbr1El1 

pub const ARM64_RegisterTtbr1El1: REGISTER_ID;