# HG changeset patch
# User Jimi Xenidis <[EMAIL PROTECTED]>
# Date 1166189763 18000
# Node ID 156f2644eb062bc57e42747a745a8bac077e8d7b
# Parent fdb3c96eba0f8d898dd5e734598ddc671114f1a1
[XEN][POWERPC] workaround for context_switch() bug
We have a bug in that if we switch domains in schedule() we
# HG changeset patch
# User Jimi Xenidis <[EMAIL PROTECTED]>
# Node ID 6af601c5ebe192a0de72430cdd94da5ba46ff287
# Parent 20bd3b7b7519e01f7b6bfa97c7a655e1dc027f5d
[XEN][POWERPC] workaround for context_switch() bug
We have a bug in that if we switch domains in schedule() we switch
right away regar