Io_pager interface.
More...
Io_pager interface.
Definition at line 35 of file pager.
◆ io_page_fault()
IO page fault protocol message.
- Parameters
-
| io_pfa | Flex-page describing the faulting IO-port. |
| pc | Faulting program counter. |
[out] | result | Optional: handling result value. |
| rwin | The receive window for a flex-page mapping. |
[out] | fp | Optional: flex-page descriptor to send to the task raising the page fault. |
- Returns
- System call message tag; use l4_error() to check for errors.
IO-port fault messages are usually generated by the kernel and an IO-page-fault handler needs to be in place to handle such faults and generate a reply by filling in result
and / or fp
.
The documentation for this class was generated from the following file: