__arch_set_user_pkey_access
extern int __arch_set_user_pkey_access(int pkey, unsigned long init_val);
return __arch_set_user_pkey_access(pkey, init_val);