aarch64_sys_reg

Constant CPTRMASK_EL2

Source 
pub const CPTRMASK_EL2: AArch64SysRegId;