[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] [x86_64] dev_pager.c: use mach_msg_type_number_t
From: |
Flavio Cruz |
Subject: |
[PATCH] [x86_64] dev_pager.c: use mach_msg_type_number_t |
Date: |
Mon, 23 Jan 2023 23:48:03 -0500 |
Otherwise it will fail to compile due to conflicting types.
---
device/dev_pager.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/device/dev_pager.c b/device/dev_pager.c
index 728be036..d9d22489 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -494,7 +494,7 @@ device_pager_data_return(
const ipc_port_t pager_request,
vm_offset_t offset,
pointer_t addr,
- vm_size_t data_cnt,
+ mach_msg_type_number_t data_cnt,
boolean_t dirty,
boolean_t kernel_copy)
{
--
2.39.0
- [PATCH] [x86_64] dev_pager.c: use mach_msg_type_number_t,
Flavio Cruz <=