diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-29 12:43:12 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-29 12:45:12 +0200 |
| commit | 1e90662dd80c64de27b432c9d6911fad937da804 (patch) | |
| tree | 2ae3dbea05ee40f847991c5c6f43591033e180da /device | |
| parent | 573668e85a9bf59a9c64df03b6ffc7e8669a6df6 (diff) | |
64bit: Fix vm_size_t size
It needs to be able to hold > 4G size.
* i386/include/mach/i386/vm_types.h (vm_size_t): Set type to unsigned
long.
* vm/vm_user.c (vm_read, vm_write): Fix type according to RPC.
* i386/i386at/model_dep.c (c_boot_entry): Fix format.
* device/dev_pager.c (device_pager_data_request): Fix format.
Diffstat (limited to 'device')
| -rw-r--r-- | device/dev_pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 0680b5aa..84db5ed8 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -328,7 +328,7 @@ kern_return_t device_pager_data_request( dev_pager_t ds; if (device_pager_debug) - printf("(device_pager)data_request: pager=%p, offset=0x%lx, length=0x%x\n", + printf("(device_pager)data_request: pager=%p, offset=0x%lx, length=0x%lx\n", pager, offset, length); ds = dev_pager_hash_lookup(pager); |