__NR_pkey_alloc
__SYSCALL(__NR_pkey_alloc, sys_pkey_alloc)
__SYSCALL(__NR_pkey_alloc, sys_pkey_alloc)
int ret = syscall(__NR_pkey_alloc, flags, init_val);
return syscall(__NR_pkey_alloc, flags, rights);