Introduction   API Reference   Files   Index  

l4_ipc_deceit_ids_t Struct Reference
[Unique ids]

Structure used to describe destination and true source if a chief wants to deceit. More...

#include <ipc.h>


Data Fields

l4_threadid_t dest
 IPC destination thread id.
l4_threadid_t true_src
 IPC source thread id.


Detailed Description

Structure used to describe destination and true source if a chief wants to deceit.

Definition at line 249 of file L4API-l4v2/ipc.h.


The documentation for this struct was generated from the following file:

Fiasco/L4 System Call C-Bindings Reference Manual,  © 1996-2008