summaryrefslogtreecommitdiff
path: root/i386/i386/pcb.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-04-06 21:30:10 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-04-06 21:30:10 +0200
commit5151e4bf1855122cae30866c433065d7681bffa8 (patch)
tree39fb66b78342c74b18c478e424599a8259c35a64 /i386/i386/pcb.c
parent57c69b08378fc5b29f39227e8692a997f2374e31 (diff)
Check hyp_stack_switch return
* i386/i386/pcb.c (switch_ktss): Check value returned by hyp_stack_switch.
Diffstat (limited to 'i386/i386/pcb.c')
-rw-r--r--i386/i386/pcb.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c
index 4f34391..362d990 100644
--- a/i386/i386/pcb.c
+++ b/i386/i386/pcb.c
@@ -157,7 +157,8 @@ void switch_ktss(pcb)
#ifdef MACH_XEN
/* No IO mask here */
- hyp_stack_switch(KERNEL_DS, pcb_stack_top);
+ if (hyp_stack_switch(KERNEL_DS, pcb_stack_top))
+ panic("stack_switch");
#else /* MACH_XEN */
curr_ktss(mycpu)->tss.esp0 = pcb_stack_top;
#endif /* MACH_XEN */