|
|
|
|
|
|
|
|
|
|
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 <=
|
|
|
|
|