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 };