diff options
| -rw-r--r-- | i386/intel/pmap.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 302a60cb..40f672b5 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1473,7 +1473,8 @@ void pmap_destroy(pmap_t p) /* In this case we know we have one PDP for user space */ pt_entry_t *pdp = (pt_entry_t *) ptetokv(p->l4base[lin2l4num(VM_MIN_USER_ADDRESS)]); #else -#error "TODO do 64-bit userspace need more that 512G?" +#warning "TODO do 64-bit userspace need more that 512G?" + pt_entry_t *pdp = (pt_entry_t *) ptetokv(p->l4base[lin2l4num(VM_MIN_USER_ADDRESS)]); #endif /* USER32 */ page_dir = (pt_entry_t *) ptetokv(pdp[i]); #else /* __x86_64__ */ @@ -2482,7 +2483,8 @@ void pmap_collect(pmap_t p) /* In this case we know we have one PDP for user space */ pdp = (pt_entry_t *) ptetokv(p->l4base[lin2l4num(VM_MIN_USER_ADDRESS)]); #else -#error "TODO do 64-bit userspace need more that 512G?" +#warning "TODO do 64-bit userspace need more that 512G?" + pdp = (pt_entry_t *) ptetokv(p->l4base[lin2l4num(VM_MIN_USER_ADDRESS)]); #endif /* USER32 */ page_dir = (pt_entry_t *) ptetokv(pdp[i]); #else /* __x86_64__ */ |