sys_perm_revoke 181 kernel/generic/src/security/perm.c sys_errno_t sys_perm_revoke(uspace_ptr_sysarg64_t uspace_taskid, perm_t perms) sys_perm_revoke 221 kernel/generic/src/security/perm.c sys_errno_t sys_perm_revoke(sysarg_t taskid, perm_t perms)HelenOS homepage, sources at GitHub