__SYSCALL_TO_UINTPTR_T
#define __SYSCALL_TO_UINTPTR_T(V) ((uintptr_t)((V)>>32))
#define __SYSCALL_TO_UINTPTR_T(V) ((uintptr_t)(V))