Searched refs:TTBR1_EL1 (Results 1 – 7 of 7) sorted by relevance
51 TVM_REG(TTBR1_EL1) in TVM_REG()111 GENERATE_CASE(TTBR1_EL1)
32 req->data.regs.arm.ttbr1 = READ_SYSREG64(TTBR1_EL1); in vm_event_fill_regs()
69 ttbr = READ_SYSREG64(TTBR1_EL1); in guest_walk_sd()305 *ttbr = READ_SYSREG64(TTBR1_EL1); in get_ttbr_and_gran_64bit()482 ttbr = READ_SYSREG64(TTBR1_EL1); in guest_walk_ld()
128 TVM_REG32(TTBR1_32, TTBR1_EL1) in TVM_REG32()131 TVM_REG64(TTBR1, TTBR1_EL1) in TVM_REG32()
135 p->arch.ttbr1 = READ_SYSREG64(TTBR1_EL1); in ctxt_switch_from()216 WRITE_SYSREG64(n->arch.ttbr1, TTBR1_EL1); in ctxt_switch_to()
939 ctxt.ttbr1_el1 = READ_SYSREG64(TTBR1_EL1); in show_registers()
343 #define TTBR1_EL1 TTBR1 macro
Completed in 14 milliseconds