|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-changelog
[Xen-changelog] Add a couple of well chosen assertions to new	context
 
# 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
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread> |  
- [Xen-changelog] Add a couple of well chosen assertions to new	context,
Xen patchbot -unstable <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |