Lines Matching refs:A64SysReg_CNTKCTL_EL12
636 A64SysReg_CNTKCTL_EL12 = 0xef08, // 11 101 1110 0001 000
