Generic Task Server Protocol: generic

00001 /* $Id: generic_ts.idl 30834 2007-12-17 15:35:40Z adam $*/
00011 import <l4/sys/types.h>
00012 
00014 library l4
00015 {
00017   [error_function_server(dice_server_error)]
00018   interface ts
00019     {
00034       long allocate([in] unsigned long taskno, [out] l4_taskid_t *taskid);
00035 
00045       long allocate2([in] unsigned long taskno, [out] l4_taskid_t *taskid);
00046 
00059       long create([in,out] l4_taskid_t *taskid, [in] l4_addr_t entry,
00060                   [in] l4_addr_t stack,         [in] unsigned long mcp,
00061                   [in] l4_taskid_t pager,       [in] l4_taskid_t caphandler,
00062                   [in] l4_quota_desc_t kquota,  [in] long prio,
00063                   [in, string] char* resname,   [in] unsigned long flags);
00064 
00071       long free([in] l4_taskid_t taskid);
00072 
00079       long free2([in] l4_taskid_t taskid);
00080 
00086       [allow_reply_only]
00087       long kill([in] l4_taskid_t taskid, [in] l4_uint8_t options);
00088 
00092       long kill_recursive([in] l4_taskid_t taskid);
00093 
00099       long owner([in] l4_taskid_t taskid,
00100                  [in] l4_taskid_t owner);
00101 
00105       long taskno_to_taskid([in] unsigned long tasknr, 
00106                             [out] l4_taskid_t *taskid);
00107 
00109       [allow_reply_only]
00110       long exit(void);
00111 
00113       void dump();
00114 
00116       void do_kill_reply([in] l4_threadid_t client);
00117     };
00118 };