HelenOS sources

sysipc.h   53 kernel/arch/ia32/src/interrupt.c #include <ipc/sysipc.h>
sysipc.h   50 kernel/arch/ia64/src/interrupt.c #include <ipc/sysipc.h>
sysipc.h   41 kernel/arch/mips32/src/interrupt.c #include <ipc/sysipc.h>
sysipc.h   41 kernel/arch/ppc32/src/interrupt.c #include <ipc/sysipc.h>
sysipc.h   41 kernel/generic/src/ipc/sysipc.c #include <ipc/sysipc.h>
sysipc.h   44 kernel/generic/src/mm/backend_user.c #include <ipc/sysipc.h>
sysipc.h   47 kernel/generic/src/syscall/syscall.c #include <ipc/sysipc.h>