Lines Matching refs:VBAR_EL3
3804 msr VBAR_EL3, x124058 // CHECK: msr vbar_el3, x12 // encoding: [0x0c,0xc0,0x1e,0xd5]4353 mrs x9, VBAR_EL34653 // CHECK: mrs x9, vbar_el3 // encoding: [0x09,0xc0,0x3e,0xd5]
