typedef uint16_t usize_t; /* Largest value passed by userspace */
typedef int16_t susize_t;
typedef uint16_t uaddr_t;
+typedef uint16_t uptr_t; /* User pointer equivalent */
+
+#define uputp uputw /* Copy user pointer type */
+#define ugetp ugetw /* between user and kernel */
extern void ei(void);
extern irqflags_t di(void);
typedef uint32_t usize_t; /* Largest value passed by userspace */
typedef int32_t susize_t;
typedef uint32_t uaddr_t;
+typedef uint32_t uptr_t; /* User pointer equivalent */
+
+#define uputp uputl /* Copy user pointer type */
+#define ugetp ugetl /* between user and kernel */
extern void ei(void);
extern irqflags_t di(void);
typedef uint16_t usize_t; /* Largest value passed by userspace */
typedef int16_t susize_t;
typedef uint16_t uaddr_t; /* A user address must fit this */
+typedef uint16_t uptr_t; /* User pointer equivalent */
+
+#define uputp uputw /* Copy user pointer type */
+#define ugetp ugetw /* between user and kernel */
extern void ei(void);
extern irqflags_t di(void);
typedef uint16_t usize_t; /* Largest value passed by userspace */
typedef int16_t susize_t;
typedef uint16_t uaddr_t;
+typedef uint16_t uptr_t; /* User pointer equivalent */
+
+#define uputp uputw /* Copy user pointer type */
+#define ugetp ugetw /* between user and kernel */
#define __fastcall__
extern void ei(void);
typedef uint16_t usize_t; /* Largest value passed by userspace */
typedef int16_t susize_t;
typedef uint16_t uaddr_t; /* User address */
+typedef uint16_t uptr_t; /* Userspace pointer equivalent */
+
+#define uputp uputw /* Copy user pointer type */
+#define ugetp ugetw /* between user and kernel */
#define ei() do {__asm ei __endasm; } while(0);