bind_cap          101 usr/server/exec/exec.h void	 bind_cap(char *, task_t);
bind_cap           94 usr/server/exec/exec_cap.c 	bind_cap(msg->path, task);
bind_cap          170 usr/server/exec/exec_execve.c 	bind_cap(exec.path, new_task);
bind_cap          177 usr/server/exec/main.c 	bind_cap("/boot/exec", task_self());