Constant ARM64_RegisterTcrEl1 

pub const ARM64_RegisterTcrEl1: REGISTER_ID;