sel4/
fault.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT
5//
6
7//! Fault types.
8
9use crate::{sys, IpcBuffer, MessageInfo};
10
11pub use crate::arch::fault::*;
12
13impl Fault {
14    pub fn new(ipc_buffer: &IpcBuffer, info: &MessageInfo) -> Self {
15        Self::from_sys(sys::seL4_Fault::get_from_ipc_buffer(
16            info.inner(),
17            ipc_buffer.inner(),
18        ))
19    }
20}