tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[PATCH] ARM32: fix typo in KASSERT



KASSERT(value | (C1|C2)) seems broken because its parameter always true.
---
 sys/arch/arm/arm32/pmap.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/sys/arch/arm/arm32/pmap.c b/sys/arch/arm/arm32/pmap.c
index 3a7d30d..fb90985 100644
--- a/sys/arch/arm/arm32/pmap.c
+++ b/sys/arch/arm/arm32/pmap.c
@@ -3072,7 +3072,7 @@ pmap_kenter_pa(vaddr_t va, paddr_t pa, vm_prot_t prot)
                                        PMAPCOUNT(exec_synced_kremove);
                                }
                        }
-                       KASSERT(opg->mdpage.pvh_attrs | (PVF_COLORED|PVF_NC));
+                       KASSERT(opg->mdpage.pvh_attrs & (PVF_COLORED|PVF_NC));
                        opg->mdpage.pvh_attrs &= ~PVF_KENTRY;
                        pmap_vac_me_harder(opg, NULL, 0);
                        simple_unlock(&opg->mdpage.pvh_slock);
-- 
1.4.4.2



Home | Main Index | Thread Index | Old Index