47 |
#define RIG_RESULT_NOTIFY ((kern_return_t) 201) |
#define RIG_RESULT_NOTIFY ((kern_return_t) 201) |
48 |
#define RIG_RESULT_FAILURE ((kern_return_t) 202) |
#define RIG_RESULT_FAILURE ((kern_return_t) 202) |
49 |
|
|
50 |
|
/* Initialize the RIG runtime interface. */ |
51 |
|
extern void __rig_init (int use_threadvar_p); |
52 |
|
|
53 |
|
/* Get reply port that can be used for RPC. */ |
54 |
|
extern rtmk_port_t __rig_reply_port_get (void); |
55 |
|
|
56 |
|
/* Return reply port that have been used for RPC. */ |
57 |
|
extern void __rig_reply_port_put (rtmk_port_t port); |
58 |
|
|
59 |
#endif /* rig.h */ |
#endif /* rig.h */ |