ctx32p           1344 fs/aio.c       COMPAT_SYSCALL_DEFINE2(io_setup, unsigned, nr_events, u32 __user *, ctx32p)
ctx32p           1350 fs/aio.c       	ret = get_user(ctx, ctx32p);
ctx32p           1365 fs/aio.c       		ret = put_user((u32)ioctx->user_id, ctx32p);
ctx32p            517 include/linux/compat.h asmlinkage long compat_sys_io_setup(unsigned nr_reqs, u32 __user *ctx32p);