Lines Matching refs:A64SysReg_ICC_IGRPEN1_EL1
906 A64SysReg_ICC_IGRPEN1_EL1 = 0xc667, // 11 000 1100 1100 111
