diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-02-16 23:55:34 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-02-16 23:57:56 +0100 |
| commit | 74b070f2f301ccf9e7ec0feb48b51412280700d9 (patch) | |
| tree | d2beb216d654a5bf10ff91e85c5482ed2ee81ae1 /i386 | |
| parent | 768a7d4a989d95e22e1249c36c57655665975918 (diff) | |
| download | gnumach-74b070f2f301ccf9e7ec0feb48b51412280700d9.tar.gz gnumach-74b070f2f301ccf9e7ec0feb48b51412280700d9.tar.bz2 gnumach-74b070f2f301ccf9e7ec0feb48b51412280700d9.zip | |
xen: Fix storing physical addresses
Diffstat (limited to 'i386')
| -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 3bf00659..1a765352 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -842,7 +842,7 @@ void pmap_bootstrap(void) /* Set back a page read write */ void pmap_set_page_readwrite(void *_vaddr) { vm_offset_t vaddr = (vm_offset_t) _vaddr; - vm_offset_t paddr = kvtophys(vaddr); + phys_addr_t paddr = kvtophys(vaddr); vm_offset_t canon_vaddr = phystokv(paddr); if (hyp_do_update_va_mapping (kvtolin(vaddr), pa_to_pte (pa_to_ma(paddr)) | INTEL_PTE_VALID | INTEL_PTE_WRITE, UVMF_NONE)) panic("couldn't set hiMMU readwrite for addr %lx(%lx)\n", vaddr, (vm_offset_t) pa_to_ma (paddr)); @@ -854,7 +854,7 @@ void pmap_set_page_readwrite(void *_vaddr) { /* Set a page read only (so as to pin it for instance) */ void pmap_set_page_readonly(void *_vaddr) { vm_offset_t vaddr = (vm_offset_t) _vaddr; - vm_offset_t paddr = kvtophys(vaddr); + phys_addr_t paddr = kvtophys(vaddr); vm_offset_t canon_vaddr = phystokv(paddr); if (*pmap_pde(kernel_pmap, vaddr) & INTEL_PTE_VALID) { if (hyp_do_update_va_mapping (kvtolin(vaddr), pa_to_pte (pa_to_ma(paddr)) | INTEL_PTE_VALID, UVMF_NONE)) |