diff options
| author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-04 17:36:57 -0800 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-04-08 14:25:46 -0700 |
| commit | e3f8a74e3a884b91a4390c66ed8175ef74db7067 (patch) | |
| tree | c0a891e10c9ab2ab3726228a8cbc4c868a997737 /drivers/xen | |
| parent | b96229b50d71c548302053c244b89572a5264c0b (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/xen')
0 files changed, 0 insertions, 0 deletions