[Xen-changelog] Add a couple of well chosen assertions to new context

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID c7689e1e0768196405ba1fff9ea4df70101ce224
# Parent  027812e4a63cde88a0cc03a3a83d40325f4e34f8
Add a couple of well chosen assertions to new context
switch code.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>

diff -r 027812e4a63c -r c7689e1e0768 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c     Tue Aug 16 18:02:24 2005
+++ b/xen/arch/x86/domain.c     Tue Aug 16 18:12:19 2005
@@ -815,6 +815,8 @@
 {
     unsigned int cpu = smp_processor_id();
 
+    ASSERT(!local_irq_is_enabled());
+
     set_current(next);
 
     if ( (percpu_ctxt[cpu].curr_vcpu != next) && !is_idle_task(next->domain) )
@@ -827,6 +829,8 @@
 void context_switch_finalise(struct vcpu *next)
 {
     unsigned int cpu = smp_processor_id();
+
+    ASSERT(local_irq_is_enabled());
 
     if ( percpu_ctxt[cpu].context_not_finalised )
     {

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog