HelenOS sources

_ipc_call         446 kernel/generic/src/ipc/ipc.c 	_ipc_call(phone, box, call, false);
_ipc_call         490 kernel/generic/src/ipc/ipc.c 		_ipc_call(phone, box, call, false);
_ipc_call         695 kernel/generic/src/ipc/ipc.c 			_ipc_call(phone, box, call, true);
HelenOS homepage, sources at GitHub