map_root_page
map_root_page
Set the root page of a
self
managing manager.
Signature
Status map_root_page(
Capref cont,
cont_offset addr,
bool *success )
Arguments
- cont - indicates the container for which the mapping is requested
- addr - indicates the address of the page to be mapped
- success - indicates if the mapping was successful
Semantics
The map_root_page function requests the kernel to map the page at
address cont_offset. success is true if the page is successfully
mapped into the kernel. After this call, the kernel will manage the stability
and resilience of the designated page.
The address cont_offset should be page aligned.
Status
Notes
Warnings
See Also
self
managing manager
Container
managers
get_root_page