struct iovec
{
void __user *iov_base; /* BSD uses caddr_t (1003.1g requires
void *) */
__kernel_size_t iov_len; /* Must be size_t (1003.1g) */
} __attribute__((x32_abi_64));
typedef long time_t __attribute__((x32_abi_64));
The x32_abi_64 attribute converts pointers and longs back to 64-bit and
adjusts the alignment accordingly. If we tag all userspace visible
structures with this attribute, we can use the 64-bit ABI without changes.
I would expect no new gcc extension to be needed for that -- there's the
mode attribute (you can read DI as 64-bit):
typedef void * __kernel_ptr64 __attribute ((mode(DI)));
struct iovec
{
__kernel_ptr64 iov_base;
...
};