SYS_pkey_free
int ret = syscall(SYS_pkey_free, pkey);
#ifndef SYS_pkey_free
syscall(SYS_pkey_free, (int)rv);