Lines Matching refs:A64SysReg_ICC_DIR_EL1
433 A64SysReg_ICC_DIR_EL1 = 0xc659, // 11 000 1100 1011 001