diff options
| author | attilio <attilio@FreeBSD.org> | 2011-05-22 20:24:36 +0000 |
|---|---|---|
| committer | attilio <attilio@FreeBSD.org> | 2011-05-22 20:24:36 +0000 |
| commit | 750009665bbebcbb1a091fddb3e27507a3bc3ab7 (patch) | |
| tree | c8c779e9755c8e7744c377a5063dcfcd491424e0 /sys/i386/xen/pmap.c | |
| parent | 58bd8f51970aaf3192e8efade58fe9548c2b150a (diff) | |
| download | FreeBSD-src-750009665bbebcbb1a091fddb3e27507a3bc3ab7.zip FreeBSD-src-750009665bbebcbb1a091fddb3e27507a3bc3ab7.tar.gz | |
Add a "safety belt" check for lsb setting.
I don't think it is really necessary because the cpumask is known to be
!= 0, but it is just in case.
Requested by: kib
Diffstat (limited to 'sys/i386/xen/pmap.c')
| -rw-r--r-- | sys/i386/xen/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/i386/xen/pmap.c b/sys/i386/xen/pmap.c index 1149b6f..2f39538 100644 --- a/sys/i386/xen/pmap.c +++ b/sys/i386/xen/pmap.c @@ -1730,6 +1730,7 @@ pmap_lazyfix(pmap_t pmap) /* Find least significant set bit. */ lsb = cpusetobj_ffs(&mask); + MPASS(lsb != 0); lsb--; CPU_SETOF(lsb, &mask); mtx_lock_spin(&smp_ipi_mtx); |
