Lines Matching refs:DBGWCR15_EL1
3761 msr DBGWCR15_EL1, x12
4015 // CHECK: msr {{dbgwcr15_el1|DBGWCR15_EL1}}, x12 // encoding: [0xec,0x0f,0x10,0xd5]
4271 mrs x9, DBGWCR15_EL1
4571 // CHECK: mrs x9, {{dbgwcr15_el1|DBGWCR15_EL1}} // encoding: [0xe9,0x0f,0x30,0xd5]
