36 |
/* The server thread to which messages should be sent. */ |
/* The server thread to which messages should be sent. */ |
37 |
l4_thread_id_t server_thread; |
l4_thread_id_t server_thread; |
38 |
|
|
39 |
/* A reference for the servers task ID to prevent reuse. */ |
/* A reference for the servers task ID to prevent reuse. This is 0 |
40 |
|
if this is the connection to the task server itself. */ |
41 |
task_id_t server_task_id; |
task_id_t server_task_id; |
42 |
|
|
43 |
/* The lock protecting the variable members of the server connection |
/* The lock protecting the variable members of the server connection |
82 |
the capability is dead. */ |
the capability is dead. */ |
83 |
hurd_cap_sconn_t sconn; |
hurd_cap_sconn_t sconn; |
84 |
|
|
85 |
/* The task-specific ID for this capability. Only valid id SCONN is |
/* The task-specific ID for this capability. Only valid if SCONN is |
86 |
not NULL. */ |
not NULL. */ |
87 |
hurd_cap_scid_t scid; |
hurd_cap_scid_t scid; |
88 |
|
|