diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-08-28 20:09:29 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-08-28 20:09:29 +0200 |
| commit | 87cf68424591ec4576ecfc5833b2babf2d674459 (patch) | |
| tree | d3a8a0fc4f79fb18c9646d61a0ccf3ef76b43e09 | |
| parent | b61236fe8efb00ebdba04758314454715975d733 (diff) | |
| download | gnumach-87cf68424591ec4576ecfc5833b2babf2d674459.tar.gz gnumach-87cf68424591ec4576ecfc5833b2babf2d674459.tar.bz2 gnumach-87cf68424591ec4576ecfc5833b2babf2d674459.zip | |
pmap: Fix spurious pte release on 64bit and PAE
| -rw-r--r-- | i386/intel/pmap.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index a9a615e9..5e60141e 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1479,9 +1479,9 @@ 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) + l3i < lin2pdpnum(VM_MAX_USER_ADDRESS) #endif /* __x86_64__ */ ) for (int l2i = 0; l2i < NPTES; l2i++) |