Changes in kernel/generic/include/ipc/sysipc.h [057d21a:d7e45c8] in mainline

File:

• kernel/generic/include/ipc/sysipc.h (modified) (2 diffs)

kernel/generic/include/ipc/sysipc.h

@@ -38 +38 @@
 #include <ipc/ipc.h>
 #include <ipc/irq.h>
-#include <arch/types.h>
+#include <typedefs.h>
 
 unative_t sys_ipc_call_sync_fast(unative_t phoneid, unative_t method, 
@@ -57 +57 @@
 unative_t sys_ipc_forward_slow(unative_t callid, unative_t phoneid,
     ipc_data_t *data, int mode);
-unative_t sys_ipc_hangup(int phoneid);
+unative_t sys_ipc_hangup(unative_t phoneid);
 unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method,
     irq_code_t *ucode);