1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: BSD-2-Clause
//

use crate::bf::*;
use crate::c::*;

mod arch;

impl seL4_Fault {
    pub fn get_from_ipc_buffer(info: &seL4_MessageInfo, ipcbuf: &seL4_IPCBuffer) -> Self {
        Self::get_with(info.get_label(), info.get_length(), |i| {
            ipcbuf.msg[i as usize]
        })
    }

    pub fn get_with(
        label: seL4_Word,
        length: seL4_Word,
        f: impl Fn(core::ffi::c_ulong) -> seL4_Word,
    ) -> Self {
        match label {
            seL4_Fault_tag::seL4_Fault_NullFault => {
                // TODO
                // assert!(length == seL4_NullFault_Msg::seL4_NullFault_Length);
                seL4_Fault_NullFault_Unpacked {}.unsplay()
            }
            seL4_Fault_tag::seL4_Fault_CapFault => {
                // TODO
                // assert!(length == seL4_CapFault_Msg::seL4_CapFault_Length);
                seL4_Fault_CapFault_Unpacked {
                    IP: f(seL4_CapFault_Msg::seL4_CapFault_IP),
                    Addr: f(seL4_CapFault_Msg::seL4_CapFault_Addr),
                    InRecvPhase: f(seL4_CapFault_Msg::seL4_CapFault_InRecvPhase),
                    LookupFailureType: f(seL4_CapFault_Msg::seL4_CapFault_LookupFailureType),
                    MR4: f(seL4_CapFault_Msg::seL4_CapFault_BitsLeft),
                    MR5: f(seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_GuardFound),
                    MR6: f(seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_BitsFound),
                }
                .unsplay()
            }
            _ => match Self::arch_get_with(label, length, f) {
                Some(fault) => fault,
                None => panic!(),
            },
        }
    }
}