L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
Attributes and additional permissions for object send items

These rights need to be added to the snd_base when mapping and control internal behavior. More...

Collaboration diagram for Attributes and additional permissions for object send items:

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.

Detailed Description

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).

Macro Definition Documentation

◆ L4_FPAGE_C_IPCGATE_SVR

#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.