Searched refs:ttbr1_el1 (Results 1 – 1 of 1) sorted by relevance
745 uint64_t ttbr0_el1, ttbr1_el1; member849 printk(" TTBR1: %016"PRIx64"\n", ctxt->ttbr1_el1); in show_registers_32()921 printk(" TTBR1_EL1: %016"PRIx64"\n", ctxt->ttbr1_el1); in show_registers_64()989 ctxt.ttbr1_el1 = READ_SYSREG64(TTBR1_EL1); in show_registers()1012 ctxt.ttbr1_el1 = v->arch.ttbr1; in vcpu_show_registers()
Completed in 5 milliseconds