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