Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/include/ipc/sysipc.h

    readaeae8 r5a6cc679  
    4040#include <typedefs.h>
    4141
    42 extern errno_t ipc_req_internal(cap_phone_handle_t, ipc_data_t *, sysarg_t);
     42extern errno_t ipc_req_internal(int, ipc_data_t *, sysarg_t);
    4343
    44 extern sys_errno_t sys_ipc_call_async_fast(cap_phone_handle_t, sysarg_t,
    45     sysarg_t, sysarg_t, sysarg_t, sysarg_t);
    46 extern sys_errno_t sys_ipc_call_async_slow(cap_phone_handle_t, ipc_data_t *,
    47     sysarg_t);
    48 extern sys_errno_t sys_ipc_answer_fast(cap_call_handle_t, sysarg_t, sysarg_t,
     44extern sys_errno_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,
    4945    sysarg_t, sysarg_t, sysarg_t);
    50 extern sys_errno_t sys_ipc_answer_slow(cap_call_handle_t, ipc_data_t *);
     46extern sys_errno_t sys_ipc_call_async_slow(sysarg_t, ipc_data_t *, sysarg_t);
     47extern sys_errno_t sys_ipc_answer_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
     48    sysarg_t, sysarg_t);
     49extern sys_errno_t sys_ipc_answer_slow(sysarg_t, ipc_data_t *);
    5150extern sys_errno_t sys_ipc_wait_for_call(ipc_data_t *, uint32_t, unsigned int);
    5251extern sys_errno_t sys_ipc_poke(void);
    53 extern sys_errno_t sys_ipc_forward_fast(cap_call_handle_t, cap_phone_handle_t,
    54     sysarg_t, sysarg_t, sysarg_t, unsigned int);
    55 extern sys_errno_t sys_ipc_forward_slow(cap_call_handle_t, cap_phone_handle_t,
    56     ipc_data_t *, unsigned int);
    57 extern sys_errno_t sys_ipc_hangup(cap_phone_handle_t);
     52extern sys_errno_t sys_ipc_forward_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
     53    sysarg_t, unsigned int);
     54extern sys_errno_t sys_ipc_forward_slow(sysarg_t, sysarg_t, ipc_data_t *,
     55    unsigned int);
     56extern sys_errno_t sys_ipc_hangup(sysarg_t);
    5857
    59 extern sys_errno_t sys_ipc_irq_subscribe(inr_t, sysarg_t, irq_code_t *,
    60     cap_irq_handle_t *);
    61 extern sys_errno_t sys_ipc_irq_unsubscribe(cap_irq_handle_t);
     58extern sys_errno_t sys_ipc_irq_subscribe(inr_t, sysarg_t, irq_code_t *, cap_handle_t *);
     59extern sys_errno_t sys_ipc_irq_unsubscribe(sysarg_t);
    6260
    63 extern sys_errno_t sys_ipc_connect_kbox(task_id_t *, cap_phone_handle_t *);
     61extern sys_errno_t sys_ipc_connect_kbox(task_id_t *, cap_handle_t *);
    6462
    6563#endif
Note: See TracChangeset for help on using the changeset viewer.