Searched refs:tcr_el1 (Results 1 – 1 of 1) sorted by relevance
744 register_t tcr_el1; member847 printk(" TCR: %08"PRIregister"\n", ctxt->tcr_el1); in show_registers_32()919 printk(" TCR_EL1: %08"PRIregister"\n", ctxt->tcr_el1); in show_registers_64()987 ctxt.tcr_el1 = READ_SYSREG(TCR_EL1); in show_registers()1010 ctxt.tcr_el1 = v->arch.ttbcr; in vcpu_show_registers()
Completed in 6 milliseconds