![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
These rights need to be added to the snd_base when mapping and control internal behavior. More...
Macros | |
| #define | L4_FPAGE_C_REF_CNT 0x00 |
| Mapping is reference-counted (default). | |
| #define | L4_FPAGE_C_NO_REF_CNT 0x10 |
| Don't increase the reference counter. | |
| #define | L4_FPAGE_C_OBJ_RIGHT1 0x20 |
| Object-type specific right. | |
| #define | L4_FPAGE_C_OBJ_RIGHT2 0x40 |
| Object-type specific right. | |
| #define | L4_FPAGE_C_OBJ_RIGHT3 0x80 |
| Object-type specific right. | |
| #define | L4_FPAGE_C_OBJ_RIGHTS 0xe0 |
| All Object-type specific right bits. | |
| #define | L4_FPAGE_C_IPCGATE_SVR L4_FPAGE_C_OBJ_RIGHT1 |
| The receiver may invoke IPC-gate-specific functions on the capability, for example, bind a thread to the gate and modify the label. | |
These rights need to be added to the snd_base when mapping and control internal behavior.
The exact meaning depends on the type of capability (currently used only with IPC gates).
| #define L4_FPAGE_C_IPCGATE_SVR L4_FPAGE_C_OBJ_RIGHT1 |
The receiver may invoke IPC-gate-specific functions on the capability, for example, bind a thread to the gate and modify the label.
Needed if the receiver implements the server side of an IPC gate.
Definition at line 288 of file __l4_fpage.h.