HelenOS sources

perm_revoke       188 kernel/generic/src/security/perm.c 	return perm_revoke((task_id_t) taskid, perms);
perm_revoke       223 kernel/generic/src/security/perm.c 	return perm_revoke((task_id_t) taskid, perms);
perm_revoke        41 uspace/lib/c/include/perm.h extern errno_t perm_revoke(task_id_t, unsigned int);
perm_revoke        39 uspace/lib/c/test/perm.c 	errno_t rc = perm_revoke(task_get_id(), 0xf); // XXX Need PERM_xxx
perm_revoke        41 uspace/lib/posix/include/libc/perm.h extern errno_t perm_revoke(task_id_t, unsigned int);