Function sys_reply

pub fn sys_reply(
    sys: isize,
    info: seL4_MessageInfo,
    mr0: usize,
    mr1: usize,
    mr2: usize,
    mr3: usize,
)

回复一个消息

参数

• sys reply 使用的系统调用号
• info 回复的时候使用的 sel4::sys::seL4_MessageInfo
• mrx 回复使用的消息