aarch64_sys_reg

Constant SCTLRMASK_EL12

Source 
pub const SCTLRMASK_EL12: AArch64SysRegId;