Searched refs:sctlr_el1 (Results 1 – 1 of 1) sorted by relevance
743 uint32_t sctlr_el1; member846 printk(" SCTLR: %08"PRIx32"\n", ctxt->sctlr_el1); in show_registers_32()918 printk(" SCTLR_EL1: %08"PRIx32"\n", ctxt->sctlr_el1); in show_registers_64()986 ctxt.sctlr_el1 = READ_SYSREG(SCTLR_EL1); in show_registers()1009 ctxt.sctlr_el1 = v->arch.sctlr; in vcpu_show_registers()
Completed in 5 milliseconds