Searched refs:TTBR0_EL1 (Results 1 – 5 of 5) sorted by relevance
31 req->data.regs.arm.ttbr0 = READ_SYSREG64(TTBR0_EL1); in vm_event_fill_regs()
55 ttbr = READ_SYSREG64(TTBR0_EL1); in guest_walk_sd()274 *ttbr = READ_SYSREG64(TTBR0_EL1); in get_ttbr_and_gran_64bit()465 ttbr = READ_SYSREG64(TTBR0_EL1); in guest_walk_ld()
132 p->arch.ttbr0 = READ_SYSREG64(TTBR0_EL1); in ctxt_switch_from()212 WRITE_SYSREG64(n->arch.ttbr0, TTBR0_EL1); in ctxt_switch_to()
988 ctxt.ttbr0_el1 = READ_SYSREG64(TTBR0_EL1); in show_registers()1763 uint64_t ttbr0 = READ_SYSREG64(TTBR0_EL1); in dump_guest_s1_walk()
340 #define TTBR0_EL1 TTBR0 macro
Completed in 10 milliseconds