diff options
| -rw-r--r-- | i386/intel/pmap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 1a20f38b..0a162fa2 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1478,10 +1478,11 @@ void pmap_destroy(pmap_t p) if ( #ifdef __x86_64__ l4i < lin2l4num(VM_MAX_USER_ADDRESS) || - (l4i == lin2l4num(VM_MAX_USER_ADDRESS) && l3i <= lin2pdpnum(VM_MAX_USER_ADDRESS))) + (l4i == lin2l4num(VM_MAX_USER_ADDRESS) && l3i <= lin2pdpnum(VM_MAX_USER_ADDRESS)) #else /* __x86_64__ */ l3i <= lin2pdpnum(VM_MAX_USER_ADDRESS) #endif /* __x86_64__ */ + ) for (int l2i = 0; l2i < NPTES; l2i++) #else /* PAE */ pt_entry_t *pdebase = p->dirbase; |