Lines Matching refs:A64SysReg_TEECR32_EL1
445 A64SysReg_TEECR32_EL1 = 0x9000, // 10 010 0000 0000 000
