Lines Matching refs:A64SysReg_TEEHBR32_EL1
515 A64SysReg_TEEHBR32_EL1 = 0x9080, // 10 010 0001 0000 000