file_desc_t Struct Reference
base type for client file_table entries
More...
#include <types.h>
List of all members.
|
Public Attributes |
|
l4_threadid_t | server_id |
|
object_handle_t | object_handle |
|
object_id_t | object_id |
| void * | user_data |
Detailed Description
base type for client file_table entries
file_desc_t contains the information to address the server of the object in question and the object itself via a handle. Additionally the original object_id is stored to:
- address object via it in case of fstat(), fchdir, ...
- in case of server failure and restart, to re-resolve the server_id and the object_handle
Member Data Documentation
can be used by other APIs to store specific data
The documentation for this struct was generated from the following file:
- /tmp/l4check/full_tree/trunk/l4/pkg/l4vfs/include/types.h
