Home
last modified time | relevance | path

Searched refs:ttbr1_el1 (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtraps.c745 uint64_t ttbr0_el1, ttbr1_el1; member
849 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