Module exception

Source
Expand description

处理 sel4 任务运行过程中产生的异常

这个模块主要负责处理由当前任务运行的子任务产生的异常,且当前任务的子任务 为传统宏内核应用。目前传统宏内核应用的 syscall 需要预处理,将 syscall 指令 更换为 0xdeadbeef 指令,这样在异常处理时可以区分用户异常和系统调用。且不用 为宏内核支持引入多余的部件。

Statics§

GLOBAL_NOTIFY
全局通知

Functions§

handle_user_exception
处理用户异常
handle_vmfault
处理内存异常问题
init
初始化 exception
waiting_and_handle
循环等待并处理异常