diff options
author | Jan Beulich <jbeulich@suse.com> | 2013-01-23 14:11:39 +0100 |
---|---|---|
committer | Jan Beulich <jbeulich@suse.com> | 2013-01-23 14:11:39 +0100 |
commit | bad20150553601964143dff43d932accceba3e5e (patch) | |
tree | 7185f1c557326846a774513a38ae276d9e3e279a /xen/arch/x86/traps.c | |
parent | b52f69ab85a35d6140ca5e8ec74240fb1e0a5e7e (diff) | |
download | xen-bad20150553601964143dff43d932accceba3e5e.tar.gz xen-bad20150553601964143dff43d932accceba3e5e.tar.bz2 xen-bad20150553601964143dff43d932accceba3e5e.zip |
x86: properly use map_domain_page() during page table manipulation
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/arch/x86/traps.c')
-rw-r--r-- | xen/arch/x86/traps.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c index a97033d1a6..24ca6e25e8 100644 --- a/xen/arch/x86/traps.c +++ b/xen/arch/x86/traps.c @@ -180,6 +180,11 @@ static void show_guest_stack(struct vcpu *v, struct cpu_user_regs *regs) printk(" %p", _p(addr)); stack++; } + if ( mask == PAGE_SIZE ) + { + BUILD_BUG_ON(PAGE_SIZE == STACK_SIZE); + unmap_domain_page(stack); + } if ( i == 0 ) printk("Stack empty."); printk("\n"); |