diff options
author | Luca Dariz <luca@orpolo.org> | 2023-02-16 22:33:15 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-16 23:26:11 +0100 |
commit | bdfedb6e4ada9adc78137d75065b9e9607223f4f (patch) | |
tree | 2dcd201479e1bbd126056dc09a4e855a620a1b6c /i386/intel | |
parent | 749af14243c7860476f90aab19b291735b0bb88c (diff) | |
download | gnumach-bdfedb6e4ada9adc78137d75065b9e9607223f4f.tar.gz gnumach-bdfedb6e4ada9adc78137d75065b9e9607223f4f.tar.bz2 gnumach-bdfedb6e4ada9adc78137d75065b9e9607223f4f.zip |
x86_64: fix some compiler warnings
* i386/include/mach/i386/vm_param.h: extend the vm constants to ULL on
x86_64 to avoid a shift overflow warning
* i386/intel/pmap.c: fix cast and unused variables
Message-Id: <20230216213318.2048699-1-luca@orpolo.org>
Diffstat (limited to 'i386/intel')
-rw-r--r-- | i386/intel/pmap.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 67c55e7d..302a60cb 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1376,7 +1376,7 @@ pmap_t pmap_create(vm_size_t size) pt_entry_t *user_page_dir = (pt_entry_t *) kmem_cache_alloc(&pd_cache); memset(user_page_dir, 0, INTEL_PGBYTES); WRITE_PTE(&pdp_user[i + lin2pdpnum(VM_MIN_USER_ADDRESS)], // pdp_user - pa_to_pte(kvtophys(user_page_dir)) + pa_to_pte(kvtophys((vm_offset_t)user_page_dir)) | INTEL_PTE_VALID #if (defined(__x86_64__) && !defined(MACH_HYP)) || defined(MACH_PV_PAGETABLES) | INTEL_PTE_WRITE | INTEL_PTE_USER @@ -3136,14 +3136,13 @@ pmap_unmap_page_zero (void) void pmap_make_temporary_mapping(void) { - int i; - /* * We'll have to temporarily install a direct mapping * between physical memory and low linear memory, * until we start using our new kernel segment descriptors. */ #if INIT_VM_MIN_KERNEL_ADDRESS != LINEAR_MIN_KERNEL_ADDRESS + int i; vm_offset_t delta = INIT_VM_MIN_KERNEL_ADDRESS - LINEAR_MIN_KERNEL_ADDRESS; if ((vm_offset_t)(-delta) < delta) delta = (vm_offset_t)(-delta); @@ -3191,9 +3190,8 @@ pmap_set_page_dir(void) void pmap_remove_temporary_mapping(void) { - int i; - #if INIT_VM_MIN_KERNEL_ADDRESS != LINEAR_MIN_KERNEL_ADDRESS + int i; vm_offset_t delta = INIT_VM_MIN_KERNEL_ADDRESS - LINEAR_MIN_KERNEL_ADDRESS; if ((vm_offset_t)(-delta) < delta) delta = (vm_offset_t)(-delta); |