It's now just the double fault handler and various state dumping functions.
Swap u64 for uint64_t, and fix a few other minor style issues.
No functional change.
Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
---
CC: Jan Beulich <jbeul...@suse.com>
CC: Roger Pau Monné <roger....@citrix.com>
---
xen/arch/x86/traps.c | 291 +++++++++++++++++++++++++++++++
xen/arch/x86/x86_64/Makefile | 1 -
xen/arch/x86/x86_64/traps.c | 322 -----------------------------------
3 files changed, 291 insertions(+), 323 deletions(-)
delete mode 100644 xen/arch/x86/x86_64/traps.c
diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c
index 238d923dd188..ab8ff36acfe6 100644
--- a/xen/arch/x86/traps.c
+++ b/xen/arch/x86/traps.c
@@ -26,6 +26,7 @@
#include <xen/sched.h>
#include <xen/softirq.h>
#include <xen/trace.h>
+#include <xen/version.h>
#include <xen/watchdog.h>
#include <asm/apic.h>
@@ -87,6 +88,272 @@ const unsigned int nmi_cpu;
#define stack_words_per_line 4
#define ESP_BEFORE_EXCEPTION(regs) ((unsigned long *)(regs)->rsp)
+struct extra_state
+{
+ unsigned long cr0, cr2, cr3, cr4;
+ unsigned long fsb, gsb, gss;
+ uint16_t ds, es, fs, gs;
+};
+
+static void print_xen_info(void)
+{
+ char taint_str[TAINT_STRING_MAX_LEN];
+
+ printk("----[ Xen-%d.%d%s x86_64 %s %s ]----\n",
+ xen_major_version(), xen_minor_version(), xen_extra_version(),
+ xen_build_info(), print_tainted(taint_str));
+}
+
+enum context {
+ CTXT_hypervisor,
+ CTXT_pv_guest,
+ CTXT_hvm_guest,
+};
+
+static void read_registers(struct extra_state *state)
+{
+ state->cr0 = read_cr0();
+ state->cr2 = read_cr2();
+ state->cr3 = read_cr3();
+ state->cr4 = read_cr4();
+
+ state->fsb = read_fs_base();
+ state->gsb = read_gs_base();
+ state->gss = read_gs_shadow();
+
+ asm ( "mov %%ds, %0" : "=m" (state->ds) );
+ asm ( "mov %%es, %0" : "=m" (state->es) );
+ asm ( "mov %%fs, %0" : "=m" (state->fs) );
+ asm ( "mov %%gs, %0" : "=m" (state->gs) );
+}
+
+static void get_hvm_registers(struct vcpu *v, struct cpu_user_regs *regs,
+ struct extra_state *state)
+{
+ struct segment_register sreg;
+
+ state->cr0 = v->arch.hvm.guest_cr[0];
+ state->cr2 = v->arch.hvm.guest_cr[2];
+ state->cr3 = v->arch.hvm.guest_cr[3];
+ state->cr4 = v->arch.hvm.guest_cr[4];
+
+ hvm_get_segment_register(v, x86_seg_cs, &sreg);
+ regs->cs = sreg.sel;
+
+ hvm_get_segment_register(v, x86_seg_ds, &sreg);
+ state->ds = sreg.sel;
+
+ hvm_get_segment_register(v, x86_seg_es, &sreg);
+ state->es = sreg.sel;
+
+ hvm_get_segment_register(v, x86_seg_fs, &sreg);
+ state->fs = sreg.sel;
+ state->fsb = sreg.base;
+
+ hvm_get_segment_register(v, x86_seg_gs, &sreg);
+ state->gs = sreg.sel;
+ state->gsb = sreg.base;
+
+ hvm_get_segment_register(v, x86_seg_ss, &sreg);
+ regs->ss = sreg.sel;
+
+ state->gss = hvm_get_reg(v, MSR_SHADOW_GS_BASE);
+}
+
+static void _show_registers(
+ const struct cpu_user_regs *regs, const struct extra_state *state,
+ enum context context, const struct vcpu *v)
+{
+ static const char *const context_names[] = {
+ [CTXT_hypervisor] = "hypervisor",
+ [CTXT_pv_guest] = "pv guest",
+ [CTXT_hvm_guest] = "hvm guest",
+ };
+
+ printk("RIP: %04x:[<%016lx>]", regs->cs, regs->rip);
+ if ( context == CTXT_hypervisor )
+ printk(" %pS", _p(regs->rip));
+ printk("\nRFLAGS: %016lx ", regs->rflags);
+ if ( (context == CTXT_pv_guest) && v && v->vcpu_info_area.map )
+ printk("EM: %d ", !!vcpu_info(v, evtchn_upcall_mask));
+ printk("CONTEXT: %s", context_names[context]);
+ if ( v && !is_idle_vcpu(v) )
+ printk(" (%pv)", v);
+
+ printk("\nrax: %016lx rbx: %016lx rcx: %016lx\n",
+ regs->rax, regs->rbx, regs->rcx);
+ printk("rdx: %016lx rsi: %016lx rdi: %016lx\n",
+ regs->rdx, regs->rsi, regs->rdi);
+ printk("rbp: %016lx rsp: %016lx r8: %016lx\n",
+ regs->rbp, regs->rsp, regs->r8);
+ printk("r9: %016lx r10: %016lx r11: %016lx\n",
+ regs->r9, regs->r10, regs->r11);
+ printk("r12: %016lx r13: %016lx r14: %016lx\n",
+ regs->r12, regs->r13, regs->r14);
+ printk("r15: %016lx cr0: %016lx cr4: %016lx\n",
+ regs->r15, state->cr0, state->cr4);
+ printk("cr3: %016lx cr2: %016lx\n", state->cr3, state->cr2);
+ printk("fsb: %016lx gsb: %016lx gss: %016lx\n",
+ state->fsb, state->gsb, state->gss);
+ printk("ds: %04x es: %04x fs: %04x gs: %04x ss: %04x cs: %04x\n",
+ state->ds, state->es, state->fs,
+ state->gs, regs->ss, regs->cs);
+}
+
+void show_registers(const struct cpu_user_regs *regs)
+{
+ struct cpu_user_regs fault_regs = *regs;
+ struct extra_state fault_state;
+ enum context context;
+ struct vcpu *v = system_state >= SYS_STATE_smp_boot ? current : NULL;
+
+ if ( guest_mode(regs) && is_hvm_vcpu(v) )
+ {
+ get_hvm_registers(v, &fault_regs, &fault_state);
+ context = CTXT_hvm_guest;
+ }
+ else
+ {
+ read_registers(&fault_state);
+
+ if ( guest_mode(regs) )
+ {
+ context = CTXT_pv_guest;
+ fault_state.cr2 = arch_get_cr2(v);
+ }
+ else
+ {
+ context = CTXT_hypervisor;
+ }
+ }
+
+ print_xen_info();
+ printk("CPU: %d\n", smp_processor_id());
+ _show_registers(&fault_regs, &fault_state, context, v);
+
+ if ( ler_msr && !guest_mode(regs) )
+ {
+ uint64_t from, to;
+
+ rdmsrl(ler_msr, from);
+ rdmsrl(ler_msr + 1, to);
+
+ /* Upper bits may store metadata. Re-canonicalise for printing. */
+ printk("ler: from %016"PRIx64" [%ps]\n",
+ from, _p(canonicalise_addr(from)));
+ printk(" to %016"PRIx64" [%ps]\n",
+ to, _p(canonicalise_addr(to)));
+ }
+}
+
+void vcpu_show_registers(struct vcpu *v)
+{
+ const struct cpu_user_regs *regs = &v->arch.user_regs;
+ struct cpu_user_regs aux_regs;
+ struct extra_state state;
+ enum context context;
+
+ if ( is_hvm_vcpu(v) )
+ {
+ aux_regs = *regs;
+ get_hvm_registers(v, &aux_regs, &state);
+ regs = &aux_regs;
+ context = CTXT_hvm_guest;
+ }
+ else
+ {
+ bool kernel = guest_kernel_mode(v, regs);
+ unsigned long gsb, gss;
+
+ state.cr0 = v->arch.pv.ctrlreg[0];
+ state.cr2 = arch_get_cr2(v);
+ state.cr3 = pagetable_get_paddr(kernel
+ ? v->arch.guest_table
+ : v->arch.guest_table_user);
+ state.cr4 = v->arch.pv.ctrlreg[4];
+
+ gsb = v->arch.pv.gs_base_user;
+ gss = v->arch.pv.gs_base_kernel;
+ if ( kernel )
+ SWAP(gsb, gss);
+
+ state.fsb = v->arch.pv.fs_base;
+ state.gsb = gsb;
+ state.gss = gss;
+
+ state.ds = v->arch.pv.ds;
+ state.es = v->arch.pv.es;
+ state.fs = v->arch.pv.fs;
+ state.gs = v->arch.pv.gs;
+
+ context = CTXT_pv_guest;
+ }
+
+ _show_registers(regs, &state, context, v);
+}
+
+void show_page_walk(unsigned long addr)
+{
+ unsigned long pfn, mfn = read_cr3() >> PAGE_SHIFT;
+ l4_pgentry_t l4e, *l4t;
+ l3_pgentry_t l3e, *l3t;
+ l2_pgentry_t l2e, *l2t;
+ l1_pgentry_t l1e, *l1t;
+
+ printk("Pagetable walk from %016lx:\n", addr);
+ if ( !is_canonical_address(addr) )
+ return;
+
+ l4t = map_domain_page(_mfn(mfn));
+ l4e = l4t[l4_table_offset(addr)];
+ unmap_domain_page(l4t);
+ mfn = l4e_get_pfn(l4e);
+ pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
+ get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
+ printk(" L4[0x%03lx] = %"PRIpte" %016lx\n",
+ l4_table_offset(addr), l4e_get_intpte(l4e), pfn);
+ if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ||
+ !mfn_valid(_mfn(mfn)) )
+ return;
+
+ l3t = map_domain_page(_mfn(mfn));
+ l3e = l3t[l3_table_offset(addr)];
+ unmap_domain_page(l3t);
+ mfn = l3e_get_pfn(l3e);
+ pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
+ get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
+ printk(" L3[0x%03lx] = %"PRIpte" %016lx%s\n",
+ l3_table_offset(addr), l3e_get_intpte(l3e), pfn,
+ (l3e_get_flags(l3e) & _PAGE_PSE) ? " (PSE)" : "");
+ if ( !(l3e_get_flags(l3e) & _PAGE_PRESENT) ||
+ (l3e_get_flags(l3e) & _PAGE_PSE) ||
+ !mfn_valid(_mfn(mfn)) )
+ return;
+
+ l2t = map_domain_page(_mfn(mfn));
+ l2e = l2t[l2_table_offset(addr)];
+ unmap_domain_page(l2t);
+ mfn = l2e_get_pfn(l2e);
+ pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
+ get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
+ printk(" L2[0x%03lx] = %"PRIpte" %016lx%s\n",
+ l2_table_offset(addr), l2e_get_intpte(l2e), pfn,
+ (l2e_get_flags(l2e) & _PAGE_PSE) ? " (PSE)" : "");
+ if ( !(l2e_get_flags(l2e) & _PAGE_PRESENT) ||
+ (l2e_get_flags(l2e) & _PAGE_PSE) ||
+ !mfn_valid(_mfn(mfn)) )
+ return;
+
+ l1t = map_domain_page(_mfn(mfn));
+ l1e = l1t[l1_table_offset(addr)];
+ unmap_domain_page(l1t);
+ mfn = l1e_get_pfn(l1e);
+ pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
+ get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
+ printk(" L1[0x%03lx] = %"PRIpte" %016lx\n",
+ l1_table_offset(addr), l1e_get_intpte(l1e), pfn);
+}
+
void show_code(const struct cpu_user_regs *regs)
{
unsigned char insns_before[8] = {}, insns_after[16] = {};
@@ -762,6 +1029,30 @@ const char *vector_name(unsigned int vec)
return (vec < ARRAY_SIZE(names) && names[vec][0]) ? names[vec] : "???";
}
+void asmlinkage do_double_fault(struct cpu_user_regs *regs)
+{
+ unsigned int cpu;
+ struct extra_state state;
+
+ console_force_unlock();
+
+ asm ( "lsll %[sel], %[limit]" : [limit] "=r" (cpu)
+ : [sel] "r" (PER_CPU_SELECTOR) );
+
+ /* Find information saved during fault and dump it to the console. */
+ printk("*** DOUBLE FAULT ***\n");
+ print_xen_info();
+
+ read_registers(&state);
+
+ printk("CPU: %d\n", cpu);
+ _show_registers(regs, &state, CTXT_hypervisor, NULL);
+ show_code(regs);
+ show_stack_overflow(cpu, regs);
+
+ panic("DOUBLE FAULT -- system shutdown\n");
+}
+
/*
* This is called for faults at very unexpected times (e.g., when interrupts
* are disabled). In such situations we can't do much that is safe. We try to
diff --git a/xen/arch/x86/x86_64/Makefile b/xen/arch/x86/x86_64/Makefile
index 472b2bab523d..f20763088740 100644
--- a/xen/arch/x86/x86_64/Makefile
+++ b/xen/arch/x86/x86_64/Makefile
@@ -1,7 +1,6 @@
obj-$(CONFIG_PV32) += compat/
obj-bin-y += entry.o
-obj-y += traps.o
obj-$(CONFIG_KEXEC) += machine_kexec.o
obj-y += pci.o
obj-y += acpi_mmcfg.o
diff --git a/xen/arch/x86/x86_64/traps.c b/xen/arch/x86/x86_64/traps.c
deleted file mode 100644
index 81e64466e47e..000000000000
--- a/xen/arch/x86/x86_64/traps.c
+++ /dev/null
@@ -1,322 +0,0 @@
-#include <xen/console.h>
-#include <xen/errno.h>
-#include <xen/guest_access.h>
-#include <xen/hypercall.h>
-#include <xen/init.h>
-#include <xen/irq.h>
-#include <xen/lib.h>
-#include <xen/mm.h>
-#include <xen/sched.h>
-#include <xen/shutdown.h>
-#include <xen/symbols.h>
-#include <xen/version.h>
-#include <xen/watchdog.h>
-
-#include <asm/current.h>
-#include <asm/endbr.h>
-#include <asm/event.h>
-#include <asm/flushtlb.h>
-#include <asm/hvm/hvm.h>
-#include <asm/msr.h>
-#include <asm/nmi.h>
-#include <asm/page.h>
-#include <asm/shared.h>
-#include <asm/stubs.h>
-#include <asm/traps.h>
-
-struct extra_state
-{
- unsigned long cr0, cr2, cr3, cr4;
- unsigned long fsb, gsb, gss;
- uint16_t ds, es, fs, gs;
-};
-
-static void print_xen_info(void)
-{
- char taint_str[TAINT_STRING_MAX_LEN];
-
- printk("----[ Xen-%d.%d%s x86_64 %s %s ]----\n",
- xen_major_version(), xen_minor_version(), xen_extra_version(),
- xen_build_info(), print_tainted(taint_str));
-}
-
-enum context { CTXT_hypervisor, CTXT_pv_guest, CTXT_hvm_guest };
-
-static void read_registers(struct extra_state *state)
-{
- state->cr0 = read_cr0();
- state->cr2 = read_cr2();
- state->cr3 = read_cr3();
- state->cr4 = read_cr4();
-
- state->fsb = read_fs_base();
- state->gsb = read_gs_base();
- state->gss = read_gs_shadow();
-
- asm ( "mov %%ds, %0" : "=m" (state->ds) );
- asm ( "mov %%es, %0" : "=m" (state->es) );
- asm ( "mov %%fs, %0" : "=m" (state->fs) );
- asm ( "mov %%gs, %0" : "=m" (state->gs) );
-}
-
-static void get_hvm_registers(struct vcpu *v, struct cpu_user_regs *regs,
- struct extra_state *state)
-{
- struct segment_register sreg;
-
- state->cr0 = v->arch.hvm.guest_cr[0];
- state->cr2 = v->arch.hvm.guest_cr[2];
- state->cr3 = v->arch.hvm.guest_cr[3];
- state->cr4 = v->arch.hvm.guest_cr[4];
-
- hvm_get_segment_register(v, x86_seg_cs, &sreg);
- regs->cs = sreg.sel;
-
- hvm_get_segment_register(v, x86_seg_ds, &sreg);
- state->ds = sreg.sel;
-
- hvm_get_segment_register(v, x86_seg_es, &sreg);
- state->es = sreg.sel;
-
- hvm_get_segment_register(v, x86_seg_fs, &sreg);
- state->fs = sreg.sel;
- state->fsb = sreg.base;
-
- hvm_get_segment_register(v, x86_seg_gs, &sreg);
- state->gs = sreg.sel;
- state->gsb = sreg.base;
-
- hvm_get_segment_register(v, x86_seg_ss, &sreg);
- regs->ss = sreg.sel;
-
- state->gss = hvm_get_reg(v, MSR_SHADOW_GS_BASE);
-}
-
-static void _show_registers(
- const struct cpu_user_regs *regs, const struct extra_state *state,
- enum context context, const struct vcpu *v)
-{
- static const char *const context_names[] = {
- [CTXT_hypervisor] = "hypervisor",
- [CTXT_pv_guest] = "pv guest",
- [CTXT_hvm_guest] = "hvm guest"
- };
-
- printk("RIP: %04x:[<%016lx>]", regs->cs, regs->rip);
- if ( context == CTXT_hypervisor )
- printk(" %pS", _p(regs->rip));
- printk("\nRFLAGS: %016lx ", regs->rflags);
- if ( (context == CTXT_pv_guest) && v && v->vcpu_info_area.map )
- printk("EM: %d ", !!vcpu_info(v, evtchn_upcall_mask));
- printk("CONTEXT: %s", context_names[context]);
- if ( v && !is_idle_vcpu(v) )
- printk(" (%pv)", v);
-
- printk("\nrax: %016lx rbx: %016lx rcx: %016lx\n",
- regs->rax, regs->rbx, regs->rcx);
- printk("rdx: %016lx rsi: %016lx rdi: %016lx\n",
- regs->rdx, regs->rsi, regs->rdi);
- printk("rbp: %016lx rsp: %016lx r8: %016lx\n",
- regs->rbp, regs->rsp, regs->r8);
- printk("r9: %016lx r10: %016lx r11: %016lx\n",
- regs->r9, regs->r10, regs->r11);
- printk("r12: %016lx r13: %016lx r14: %016lx\n",
- regs->r12, regs->r13, regs->r14);
- printk("r15: %016lx cr0: %016lx cr4: %016lx\n",
- regs->r15, state->cr0, state->cr4);
- printk("cr3: %016lx cr2: %016lx\n", state->cr3, state->cr2);
- printk("fsb: %016lx gsb: %016lx gss: %016lx\n",
- state->fsb, state->gsb, state->gss);
- printk("ds: %04x es: %04x fs: %04x gs: %04x "
- "ss: %04x cs: %04x\n",
- state->ds, state->es, state->fs,
- state->gs, regs->ss, regs->cs);
-}
-
-void show_registers(const struct cpu_user_regs *regs)
-{
- struct cpu_user_regs fault_regs = *regs;
- struct extra_state fault_state;
- enum context context;
- struct vcpu *v = system_state >= SYS_STATE_smp_boot ? current : NULL;
-
- if ( guest_mode(regs) && is_hvm_vcpu(v) )
- {
- get_hvm_registers(v, &fault_regs, &fault_state);
- context = CTXT_hvm_guest;
- }
- else
- {
- read_registers(&fault_state);
-
- if ( guest_mode(regs) )
- {
- context = CTXT_pv_guest;
- fault_state.cr2 = arch_get_cr2(v);
- }
- else
- {
- context = CTXT_hypervisor;
- }
- }
-
- print_xen_info();
- printk("CPU: %d\n", smp_processor_id());
- _show_registers(&fault_regs, &fault_state, context, v);
-
- if ( ler_msr && !guest_mode(regs) )
- {
- u64 from, to;
-
- rdmsrl(ler_msr, from);
- rdmsrl(ler_msr + 1, to);
-
- /* Upper bits may store metadata. Re-canonicalise for printing. */
- printk("ler: from %016"PRIx64" [%ps]\n",
- from, _p(canonicalise_addr(from)));
- printk(" to %016"PRIx64" [%ps]\n",
- to, _p(canonicalise_addr(to)));
- }
-}
-
-void vcpu_show_registers(struct vcpu *v)
-{
- const struct cpu_user_regs *regs = &v->arch.user_regs;
- struct cpu_user_regs aux_regs;
- struct extra_state state;
- enum context context;
-
- if ( is_hvm_vcpu(v) )
- {
- aux_regs = *regs;
- get_hvm_registers(v, &aux_regs, &state);
- regs = &aux_regs;
- context = CTXT_hvm_guest;
- }
- else
- {
- bool kernel = guest_kernel_mode(v, regs);
- unsigned long gsb, gss;
-
- state.cr0 = v->arch.pv.ctrlreg[0];
- state.cr2 = arch_get_cr2(v);
- state.cr3 = pagetable_get_paddr(kernel
- ? v->arch.guest_table
- : v->arch.guest_table_user);
- state.cr4 = v->arch.pv.ctrlreg[4];
-
- gsb = v->arch.pv.gs_base_user;
- gss = v->arch.pv.gs_base_kernel;
- if ( kernel )
- SWAP(gsb, gss);
-
- state.fsb = v->arch.pv.fs_base;
- state.gsb = gsb;
- state.gss = gss;
-
- state.ds = v->arch.pv.ds;
- state.es = v->arch.pv.es;
- state.fs = v->arch.pv.fs;
- state.gs = v->arch.pv.gs;
-
- context = CTXT_pv_guest;
- }
-
- _show_registers(regs, &state, context, v);
-}
-
-void show_page_walk(unsigned long addr)
-{
- unsigned long pfn, mfn = read_cr3() >> PAGE_SHIFT;
- l4_pgentry_t l4e, *l4t;
- l3_pgentry_t l3e, *l3t;
- l2_pgentry_t l2e, *l2t;
- l1_pgentry_t l1e, *l1t;
-
- printk("Pagetable walk from %016lx:\n", addr);
- if ( !is_canonical_address(addr) )
- return;
-
- l4t = map_domain_page(_mfn(mfn));
- l4e = l4t[l4_table_offset(addr)];
- unmap_domain_page(l4t);
- mfn = l4e_get_pfn(l4e);
- pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
- get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
- printk(" L4[0x%03lx] = %"PRIpte" %016lx\n",
- l4_table_offset(addr), l4e_get_intpte(l4e), pfn);
- if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ||
- !mfn_valid(_mfn(mfn)) )
- return;
-
- l3t = map_domain_page(_mfn(mfn));
- l3e = l3t[l3_table_offset(addr)];
- unmap_domain_page(l3t);
- mfn = l3e_get_pfn(l3e);
- pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
- get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
- printk(" L3[0x%03lx] = %"PRIpte" %016lx%s\n",
- l3_table_offset(addr), l3e_get_intpte(l3e), pfn,
- (l3e_get_flags(l3e) & _PAGE_PSE) ? " (PSE)" : "");
- if ( !(l3e_get_flags(l3e) & _PAGE_PRESENT) ||
- (l3e_get_flags(l3e) & _PAGE_PSE) ||
- !mfn_valid(_mfn(mfn)) )
- return;
-
- l2t = map_domain_page(_mfn(mfn));
- l2e = l2t[l2_table_offset(addr)];
- unmap_domain_page(l2t);
- mfn = l2e_get_pfn(l2e);
- pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
- get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
- printk(" L2[0x%03lx] = %"PRIpte" %016lx%s\n",
- l2_table_offset(addr), l2e_get_intpte(l2e), pfn,
- (l2e_get_flags(l2e) & _PAGE_PSE) ? " (PSE)" : "");
- if ( !(l2e_get_flags(l2e) & _PAGE_PRESENT) ||
- (l2e_get_flags(l2e) & _PAGE_PSE) ||
- !mfn_valid(_mfn(mfn)) )
- return;
-
- l1t = map_domain_page(_mfn(mfn));
- l1e = l1t[l1_table_offset(addr)];
- unmap_domain_page(l1t);
- mfn = l1e_get_pfn(l1e);
- pfn = mfn_valid(_mfn(mfn)) && machine_to_phys_mapping_valid ?
- get_gpfn_from_mfn(mfn) : INVALID_M2P_ENTRY;
- printk(" L1[0x%03lx] = %"PRIpte" %016lx\n",
- l1_table_offset(addr), l1e_get_intpte(l1e), pfn);
-}
-
-void asmlinkage noreturn do_double_fault(struct cpu_user_regs *regs)
-{
- unsigned int cpu;
- struct extra_state state;
-
- console_force_unlock();
-
- asm ( "lsll %[sel], %[limit]" : [limit] "=r" (cpu)
- : [sel] "r" (PER_CPU_SELECTOR) );
-
- /* Find information saved during fault and dump it to the console. */
- printk("*** DOUBLE FAULT ***\n");
- print_xen_info();
-
- read_registers(&state);
-
- printk("CPU: %d\n", cpu);
- _show_registers(regs, &state, CTXT_hypervisor, NULL);
- show_code(regs);
- show_stack_overflow(cpu, regs);
-
- panic("DOUBLE FAULT -- system shutdown\n");
-}
-
-/*
- * Local variables:
- * mode: C
- * c-file-style: "BSD"
- * c-basic-offset: 4
- * tab-width: 4
- * indent-tabs-mode: nil
- * End:
- */
--
2.39.5
