HelenOS sources

DEV_IPC_GET_ARG3   95 uspace/lib/c/include/ipc/dev_iface.h #define DEV_IPC_GET_ARG3(call) ipc_get_arg4(&(call))
DEV_IPC_GET_ARG3   95 uspace/lib/posix/include/libc/ipc/dev_iface.h #define DEV_IPC_GET_ARG3(call) ipc_get_arg4(&(call))
HelenOS homepage, sources at GitHub