Lines Matching refs:TEEHBR32_EL1
3750 msr TEEHBR32_EL1, x12
4004 // CHECK: msr {{teehbr32_el1|TEEHBR32_EL1}}, x12 // encoding: [0x0c,0x10,0x12,0xd5]
4261 mrs x9, TEEHBR32_EL1
4561 // CHECK: mrs x9, {{teehbr32_el1|TEEHBR32_EL1}} // encoding: [0x09,0x10,0x32,0xd5]
