aarch64_sys_reg

Constant TCRMASK_EL12

Source 
pub const TCRMASK_EL12: AArch64SysRegId;