names - DROPS Name Service: names.idl Source File

00001 import <l4/sys/types.h>
00002 #pragma force-include
00003 #include <l4/names/__names_defs.h>
00004 
00006 interface names
00007 {
00014    long register([in, string, max_is(NAMES_MAX_NAME_LEN)] char *name);
00015 
00023    long register_thread([in, string, max_is(NAMES_MAX_NAME_LEN)] char *name,
00024                         [in] l4_threadid_t id);
00025 
00033    long unregister_thread([in, string, max_is(NAMES_MAX_NAME_LEN)] char *name,
00034                           [in] l4_threadid_t id);
00035 
00043    long unregister_task([in] l4_threadid_t id);
00044 
00052    long query_name([in, string, max_is(NAMES_MAX_NAME_LEN)] char *name,
00053                    [out] l4_threadid_t *id);
00054 
00062    long query_id([in] l4_threadid_t id,
00063                  [out, string, prealloc_client, max_is(NAMES_MAX_NAME_LEN)]
00064                  char **name);
00065 
00074    long query_nr([in] int nr,
00075                  [out, string, prealloc_client, max_is(NAMES_MAX_NAME_LEN)]
00076                  char **name,
00077                  [out] l4_threadid_t *id);
00078 
00081    void dump();
00082 };