diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-01-30 19:58:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-01-30 19:59:18 +0100 |
| commit | 0f9822d2ab9881ebb601b25ab3f381bbb6197b05 (patch) | |
| tree | 23c0dd493b6ac33b17032b416e5b3a76c605940b /i386 | |
| parent | 366954d50be00d085d44a8c461a80f2d0b663224 (diff) | |
Add vm_pages_phys
For rumpdisk to efficiently determine the physical address, both
for checking whether it is below 4GiB, and for giving it to the disk
driver, we need a gnumach primitive (and that is not conditioned by
MACH_VM_DEBUG like mach_vm_region_info and mach_vm_object_pages_phys
are).
Diffstat (limited to 'i386')
| -rwxr-xr-x | i386/include/mach/i386/machine_types.defs | 1 | ||||
| -rw-r--r-- | i386/include/mach/i386/vm_types.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/i386/include/mach/i386/machine_types.defs b/i386/include/mach/i386/machine_types.defs index 3d540be9..76c7dcf9 100755 --- a/i386/include/mach/i386/machine_types.defs +++ b/i386/include/mach/i386/machine_types.defs @@ -102,5 +102,6 @@ type long_integer_t = rpc_long_integer_t * Physical address size */ type rpc_phys_addr_t = uint64_t; +type rpc_phys_addr_array_t = array[] of rpc_phys_addr_t; #endif /* _MACHINE_MACHINE_TYPES_DEFS_ */ diff --git a/i386/include/mach/i386/vm_types.h b/i386/include/mach/i386/vm_types.h index bd07ef26..8f528ae1 100644 --- a/i386/include/mach/i386/vm_types.h +++ b/i386/include/mach/i386/vm_types.h @@ -94,6 +94,7 @@ typedef unsigned long phys_addr_t; typedef unsigned long long phys_addr_t; #endif typedef unsigned long long rpc_phys_addr_t; +typedef rpc_phys_addr_t *rpc_phys_addr_array_t; /* * A vm_size_t is the proper type for e.g. |