diff options
author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-04 20:36:57 -0500 |
---|---|---|
committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-30 12:25:34 -0400 |
commit | 8de07bbdede03598801cf33ab23dcbcd28a918d2 (patch) | |
tree | 9caf7228d87561b411e0057c0a4b9107fc416ee2 /drivers | |
parent | 4185f35404dc96f8525298c7c548aee419f3b3f4 (diff) |
xen/mmu: weaken flush_tlb_other test
Impact: fixes crashing bug
There's no particular problem with getting an empty cpu mask,
so just shortcut-return if we get one.
Avoids crash reported by Christophe Saout <christophe@saout.de>
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions