diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-04-06 21:30:10 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-04-06 21:30:10 +0200 |
| commit | 5151e4bf1855122cae30866c433065d7681bffa8 (patch) | |
| tree | 39fb66b78342c74b18c478e424599a8259c35a64 /i386/i386/pcb.c | |
| parent | 57c69b08378fc5b29f39227e8692a997f2374e31 (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.c | 3 |
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 */ |