Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/ipc/sysipc.h

    r9233e9d r0016674  
    5959extern sysarg_t sys_ipc_irq_unsubscribe(sysarg_t);
    6060
    61 #ifdef __32_BITS__
    62 
    63 extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *);
    64 
    65 #endif  /* __32_BITS__ */
    66 
    67 #ifdef __64_BITS__
    68 
    69 extern sysarg_t sys_ipc_connect_kbox(sysarg_t);
    70 
    71 #endif  /* __64_BITS__ */
     61extern sysarg_t sys_ipc_connect_kbox(task_id_t *, cap_handle_t *);
    7262
    7363#endif
Note: See TracChangeset for help on using the changeset viewer.