Lines Matching refs:TEEHBR32_EL1
3712 msr TEEHBR32_EL1, x123966 // CHECK: msr teehbr32_el1, x12 // encoding: [0x0c,0x10,0x12,0xd5]4223 mrs x9, TEEHBR32_EL14523 // CHECK: mrs x9, teehbr32_el1 // encoding: [0x09,0x10,0x32,0xd5]
