Constant ARM64_RegisterTcrEl1

pub const ARM64_RegisterTcrEl1: REGISTER_ID;