Lines Matching refs:A64SysReg_ICC_SGI1R_EL1
434 A64SysReg_ICC_SGI1R_EL1 = 0xc65d, // 11 000 1100 1011 101
