sel4/
fault.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: MIT
//

//! Fault types.

use crate::{sys, IpcBuffer, MessageInfo};

pub use crate::arch::fault::*;

impl Fault {
    pub fn new(ipc_buffer: &IpcBuffer, info: &MessageInfo) -> Self {
        Self::from_sys(sys::seL4_Fault::get_from_ipc_buffer(
            info.inner(),
            ipc_buffer.inner(),
        ))
    }
}