aarch64_sys_reg

Constant ACTLRMASK_EL12

Source 
pub const ACTLRMASK_EL12: AArch64SysRegId;