[PATCH] [x86_64] dev_pager.c: use mach_msg_type_number_t

[Flavio Cruz]

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