diff options
| -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 4f34391e..362d990d 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 */ |