Class Genode::Rm_session
Public definitions
Enum: Fault_type
| READY READ_FAULT WRITE_FAULT EXEC_FAULT |
0 1 2 3 |
Public functions
add_client
Add client to pager
| Thread_capability |
thread |
Thread that will be paged |
- Return
-
Pager_capability Capability to be used for handling page faults
This method must be called at least once to establish a valid
communication channel between the pager part of the region manager
and the client thread.
attach
Map dataspace into local address space
| Dataspace_capability |
ds |
Capability of dataspace to map |
| size_t |
size |
Size of the locally mapped region default (0) is the whole dataspace |
| off_t |
offset |
Start at offset in dataspace |
| bool |
use_local_addr |
If set to true, attach the dataspace at the specified local_addr |
| addr_t |
local_addr |
Local destination address |
- Return
-
void * Local address of mapped dataspace
attach_at
Shortcut for attaching a dataspace at a predefined local address
| Dataspace_capability |
ds |
|
| addr_t |
local_addr |
|
| size_t |
size |
|
| off_t |
offset |
|
dataspace
Return dataspace representation of region-manager session
- Return
-
Dataspace_capability
detach
Remove region from local address space
fault_handler
Register signal handler for region-manager faults
| Signal_context_capability |
handler |
|
service_name
state
Request current state of RM session
