diff options
| author | cognet <cognet@FreeBSD.org> | 2006-05-30 16:55:38 +0000 |
|---|---|---|
| committer | cognet <cognet@FreeBSD.org> | 2006-05-30 16:55:38 +0000 |
| commit | 032e8ffcc2f593cb310a712c360c6b4b6a424bb0 (patch) | |
| tree | af86edb685b3e4b8d506f0b7f8dbe9a4a0561697 | |
| parent | 54eed11bfc5d6960c75863372b9dfa9816e93edc (diff) | |
| download | FreeBSD-src-032e8ffcc2f593cb310a712c360c6b4b6a424bb0.zip FreeBSD-src-032e8ffcc2f593cb310a712c360c6b4b6a424bb0.tar.gz | |
In pmap_is_prefaultable(), assert that the pte isn't NULL if
pmap_get_pde_pte() returns TRUE.
Suggested by: ssouhlal
| -rw-r--r-- | sys/arm/arm/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/arm/arm/pmap.c b/sys/arm/arm/pmap.c index 6c5ef60..093acdd 100644 --- a/sys/arm/arm/pmap.c +++ b/sys/arm/arm/pmap.c @@ -3067,6 +3067,7 @@ pmap_is_prefaultable(pmap_t pmap, vm_offset_t addr) if (!pmap_get_pde_pte(pmap, addr, &pde, &pte)) return (FALSE); + KASSERT(pte != NULL, ("Valid mapping but no pte ?")); if (*pte == 0) return (TRUE); return (FALSE); |
