pub(super) async fn sys_wait4(
task: &Sel4Task,
ctx: &mut UserContext,
pid: isize,
status: *const i32,
option: u32,
) -> SysResult
pub(super) async fn sys_wait4(
task: &Sel4Task,
ctx: &mut UserContext,
pid: isize,
status: *const i32,
option: u32,
) -> SysResult