l4_fpage_unmap -- unmap an L4 flex page
1 Synopsis
#include <l4/sys/syscalls.h>
static inline void
l4_fpage_unmap(l4_fpage_t fpage,
l4_umword_t map_mask);
2 Description
The l4_fpage_unmap() system call unmaps the specified flex page
in all address spaces into which the invoker mapped it directly or
indirectly.
3 Arguments
- fpage
- Fpage to be unmapped.
- map_mask
- The following values are possible and can be combined partially:
- L4_FP_REMAP_PAGE
- The flex page is set to read-only.
- L4_FP_FLUSH_PAGE
- The flex page is completely unmapped.
- L4_FP_OTHER_SPACES
- The flex page is unmapped in all address spaces into which it has been
mapped. The original flex page remains mapped.
- L4_FP_ALL_SPACES
- The flex page is unmapped everywhere, including the original page.
4 Return Values
No return value is sent back.
5 See Also
l4_thread_ex_regs ,
l4_myself ,
l4_nchief ,
l4_thread_switch ,
l4_thread_schedule ,
l4_task_new
Ich