Lines Matching refs:ctxt
790 struct reg_ctxt *ctxt, in show_registers_32() argument
846 printk(" SCTLR: %08"PRIx32"\n", ctxt->sctlr_el1); in show_registers_32()
847 printk(" TCR: %08"PRIregister"\n", ctxt->tcr_el1); in show_registers_32()
848 printk(" TTBR0: %016"PRIx64"\n", ctxt->ttbr0_el1); in show_registers_32()
849 printk(" TTBR1: %016"PRIx64"\n", ctxt->ttbr1_el1); in show_registers_32()
853 (uint32_t)(ctxt->far >> 32), in show_registers_32()
854 ctxt->ifsr32_el2, in show_registers_32()
855 (uint32_t)(ctxt->far & 0xffffffff), in show_registers_32()
856 ctxt->esr_el1 in show_registers_32()
858 ctxt->ifar, ctxt->ifsr, ctxt->dfar, ctxt->dfsr in show_registers_32()
867 struct reg_ctxt *ctxt, in show_registers_64() argument
915 printk(" ESR_EL1: %08"PRIx32"\n", ctxt->esr_el1); in show_registers_64()
916 printk(" FAR_EL1: %016"PRIx64"\n", ctxt->far); in show_registers_64()
918 printk(" SCTLR_EL1: %08"PRIx32"\n", ctxt->sctlr_el1); in show_registers_64()
919 printk(" TCR_EL1: %08"PRIregister"\n", ctxt->tcr_el1); in show_registers_64()
920 printk(" TTBR0_EL1: %016"PRIx64"\n", ctxt->ttbr0_el1); in show_registers_64()
921 printk(" TTBR1_EL1: %016"PRIx64"\n", ctxt->ttbr1_el1); in show_registers_64()
928 struct reg_ctxt *ctxt, in _show_registers() argument
939 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
946 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
950 show_registers_64(regs, ctxt, guest_mode, v); in _show_registers()
958 show_registers_64(regs, ctxt, guest_mode, v); in _show_registers()
960 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
964 printk(" VTTBR_EL2: %016"PRIx64"\n", ctxt->vttbr_el2); in _show_registers()
985 struct reg_ctxt ctxt; in show_registers() local
986 ctxt.sctlr_el1 = READ_SYSREG(SCTLR_EL1); in show_registers()
987 ctxt.tcr_el1 = READ_SYSREG(TCR_EL1); in show_registers()
988 ctxt.ttbr0_el1 = READ_SYSREG64(TTBR0_EL1); in show_registers()
989 ctxt.ttbr1_el1 = READ_SYSREG64(TTBR1_EL1); in show_registers()
991 ctxt.dfar = READ_CP32(DFAR); in show_registers()
992 ctxt.ifar = READ_CP32(IFAR); in show_registers()
993 ctxt.dfsr = READ_CP32(DFSR); in show_registers()
994 ctxt.ifsr = READ_CP32(IFSR); in show_registers()
996 ctxt.far = READ_SYSREG(FAR_EL1); in show_registers()
997 ctxt.esr_el1 = READ_SYSREG(ESR_EL1); in show_registers()
999 ctxt.ifsr32_el2 = READ_SYSREG(IFSR32_EL2); in show_registers()
1001 ctxt.vttbr_el2 = READ_SYSREG64(VTTBR_EL2); in show_registers()
1003 _show_registers(regs, &ctxt, guest_mode(regs), current); in show_registers()
1008 struct reg_ctxt ctxt; in vcpu_show_registers() local
1009 ctxt.sctlr_el1 = v->arch.sctlr; in vcpu_show_registers()
1010 ctxt.tcr_el1 = v->arch.ttbcr; in vcpu_show_registers()
1011 ctxt.ttbr0_el1 = v->arch.ttbr0; in vcpu_show_registers()
1012 ctxt.ttbr1_el1 = v->arch.ttbr1; in vcpu_show_registers()
1014 ctxt.dfar = v->arch.dfar; in vcpu_show_registers()
1015 ctxt.ifar = v->arch.ifar; in vcpu_show_registers()
1016 ctxt.dfsr = v->arch.dfsr; in vcpu_show_registers()
1017 ctxt.ifsr = v->arch.ifsr; in vcpu_show_registers()
1019 ctxt.far = v->arch.far; in vcpu_show_registers()
1020 ctxt.esr_el1 = v->arch.esr; in vcpu_show_registers()
1021 ctxt.ifsr32_el2 = v->arch.ifsr; in vcpu_show_registers()
1024 ctxt.vttbr_el2 = v->domain->arch.p2m.vttbr; in vcpu_show_registers()
1026 _show_registers(&v->arch.cpu_info->guest_cpu_user_regs, &ctxt, 1, v); in vcpu_show_registers()