It would be an invasive patch to PowerPC Linux to modify the code that
disables the EE bit and additionally have it modify
vcpu_info->evtchn_upcall_mask, especially when that code is in
assembly.
Instead, we can have hypercall_preempt_check() also check MSR:EE
directly.
IA64 may be able to use this facility as well, so I've CC'ed that list.
This patch fixes a problem where an event occurs, Linux calls back
into Xen
for e.g. console output, Xen sees that an event is pending and creates
a
continuation and returns... loop forever.