38,6 → 38,7 |
#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, |
unative_t arg1, ipc_data_t *data); |
53,8 → 54,8 |
unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid, |
unative_t method, unative_t arg1); |
unative_t sys_ipc_hangup(int phoneid); |
unative_t sys_ipc_register_irq(int irq, irq_code_t *ucode); |
unative_t sys_ipc_unregister_irq(int irq); |
unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method, irq_code_t *ucode); |
unative_t sys_ipc_unregister_irq(inr_t inr, devno_t devno); |
|
#endif |
|