tree d8e9d8f8f19a15ff878046a7e164a1f66bee2da4
parent 577c9c456f0e1371cbade38eaf91ae8e8a308555
author Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> 1235199686 -0800
committer Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> 1239216704 -0700

xen: disable preempt for leave_lazy_mmu

xen_mc_flush() requires preemption to be disabled for its own sanity,
so disable it while we're flushing.

Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>