Home
last modified time | relevance | path

Searched refs:ttbr0_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
848 printk(" TTBR0: %016"PRIx64"\n", ctxt->ttbr0_el1); in show_registers_32()
920 printk(" TTBR0_EL1: %016"PRIx64"\n", ctxt->ttbr0_el1); in show_registers_64()
988 ctxt.ttbr0_el1 = READ_SYSREG64(TTBR0_EL1); in show_registers()
1011 ctxt.ttbr0_el1 = v->arch.ttbr0; in vcpu_show_registers()

Completed in 5 milliseconds