typedef unsigned long uintptr_t;
#endif
+#if !defined(_ANSI_SOURCE) && (!defined(_POSIX_C_SOURCE) || defined(_DARWIN_C_SOURCE))
/* with LP64 support pointers and longs from user address space may vary */
/* in size depending on the type of process (currently 32 or 64-bit, but */
-/* may change in the future). These types are used for reserving the largest */
+/* may change in the future). These types are used for reserving the largest */
/* possible size. */
-// LP64todo - typedef mach_vm_address_t user_addr_t; /* varying length pointers from user space */
-// LP64todo - typedef mach_vm_size_t user_size_t; /* varying length values from user space (unsigned) */
typedef u_int64_t user_addr_t;
typedef u_int64_t user_size_t;
typedef int64_t user_ssize_t;
typedef int64_t user_time_t;
#define USER_ADDR_NULL ((user_addr_t) 0)
#define CAST_USER_ADDR_T(a_ptr) ((user_addr_t)((uintptr_t)(a_ptr)))
+#endif /* !_ANSI_SOURCE && (!_POSIX_C_SOURCE || _DARWIN_C_SOURCE) */
+
+/* This defines the size of syscall arguments after copying into the kernel: */
+typedef u_int64_t syscall_arg_t;
#ifndef __offsetof
#define __offsetof(type, field) ((size_t)(&((type *)0)->field))