Lines Matching refs:TTBR0_EL2
3738 msr TTBR0_EL2, x123992 // CHECK: msr ttbr0_el2, x12 // encoding: [0x0c,0x20,0x1c,0xd5]4285 mrs x9, TTBR0_EL24585 // CHECK: mrs x9, ttbr0_el2 // encoding: [0x09,0x20,0x3c,0xd5]
