aboutsummaryrefslogtreecommitdiff
path: root/i386
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-14 02:09:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-14 02:09:07 +0200
commit952872cb67bd811991dd558dd4e5d28e7d16b21b (patch)
treec69714e6a7e77d17c252b9373600c7a6002aadf7 /i386
parentbf8632fdb76fef70c830082a8e5c059c1d0aeb7c (diff)
downloadgnumach-952872cb67bd811991dd558dd4e5d28e7d16b21b.tar.gz
gnumach-952872cb67bd811991dd558dd4e5d28e7d16b21b.tar.bz2
gnumach-952872cb67bd811991dd558dd4e5d28e7d16b21b.zip
pmap: Fix x32 PAE builds
Diffstat (limited to 'i386')
-rw-r--r--i386/intel/pmap.c3
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;