HelenOS sources

ipc_req_internal   42 kernel/generic/include/ipc/sysipc.h extern errno_t ipc_req_internal(cap_phone_handle_t, ipc_data_t *, sysarg_t);
ipc_req_internal  129 kernel/generic/src/mm/backend_user.c 	errno_t rc = ipc_req_internal(pager_info->pager, &data, (sysarg_t) true);