diff options
| author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-02-20 23:01:26 -0800 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-29 23:47:00 -0700 |
| commit | 5caecb9432428241d0c641897f07ff4003f1b55f (patch) | |
| tree | 34709dc13021ce869623036d2037fbecca62eff9 /drivers/misc | |
| parent | ab2f75f0b760d2b0c9a875b669a1b51dce02c85a (diff) | |
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>
Diffstat (limited to 'drivers/misc')
0 files changed, 0 insertions, 0 deletions