diff options
author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-05 04:36:57 +0300 |
---|---|---|
committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-04-09 01:25:46 +0400 |
commit | e3f8a74e3a884b91a4390c66ed8175ef74db7067 (patch) | |
tree | c0a891e10c9ab2ab3726228a8cbc4c868a997737 /drivers | |
parent | b96229b50d71c548302053c244b89572a5264c0b (diff) | |
download | linux-e3f8a74e3a884b91a4390c66ed8175ef74db7067.tar.xz |
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