Lines Matching refs:A64SysReg_CNTPS_TVAL_EL1
644 A64SysReg_CNTPS_TVAL_EL1 = 0xff10, // 11 111 1110 0010 000