Overly definition of the MRs for exception messages.
More...
Overly definition of the MRs for exception messages.
◆ l4_utcb_exc()
◆ l4_utcb_exc_is_ex_regs_exception()
Check whether an exception IPC was triggered via l4_thread_ex_regs().
- Return values
-
0 | Exception was not triggered through ex_regs. |
!=0 | Exception was triggered through ex_regs. |
This function checks if the exception was emitted by using the L4_THREAD_EX_REGS_TRIGGER_EXCEPTION flag in an l4_thread_ex_regs() call.
Definition at line 121 of file utcb.h.
References l4_utcb_exc_typeval().
◆ l4_utcb_exc_is_pf()
Check whether an exception IPC is a page fault.
- Returns
- 0 if not, != 0 if yes
Function to check whether an exception IPC is a page fault, also applies to I/O pagefaults.
Definition at line 111 of file utcb.h.
◆ l4_utcb_exc_pc()
◆ l4_utcb_exc_pc_set()
Set the program counter register in the exception state.
- Parameters
-
u | UTCB |
pc | The program counter to set. |
Definition at line 101 of file utcb.h.