Lines Matching refs:SDER32_EL3
3781 msr SDER32_EL3, x124035 // CHECK: msr {{sder32_el3|SDER32_EL3}}, x12 // encoding: [0x2c,0x11,0x1e,0xd5]4328 mrs x9, SDER32_EL34628 // CHECK: mrs x9, {{sder32_el3|SDER32_EL3}} // encoding: [0x29,0x11,0x3e,0xd5]