aarch64_sys_reg

Constant CNTKCTL_EL12

Source 
pub const CNTKCTL_EL12: AArch64SysRegId;