HelenOS sources

sys_ipc_hangup     57 kernel/generic/include/ipc/sysipc.h extern sys_errno_t sys_ipc_hangup(cap_phone_handle_t);
sys_ipc_hangup    936 kernel/generic/src/ipc/sysipc.c 			sys_ipc_hangup(phone);
sys_ipc_hangup    101 kernel/generic/src/syscall/syscall.c 	[SYS_IPC_HANGUP] = (syshandler_t) sys_ipc_hangup,
HelenOS homepage, sources at GitHub