sel4/arch/arm/arch/aarch64/
fault.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT
5//
6
7use crate::{UnknownSyscall, Word};
8
9impl UnknownSyscall {
10    pub fn spsr(&self) -> Word {
11        self.inner().get_SPSR()
12    }
13
14    pub fn gpr(&self, ix: usize) -> Word {
15        match ix {
16            0 => self.inner().get_X0(),
17            1 => self.inner().get_X1(),
18            2 => self.inner().get_X2(),
19            3 => self.inner().get_X3(),
20            4 => self.inner().get_X4(),
21            5 => self.inner().get_X5(),
22            6 => self.inner().get_X6(),
23            7 => self.inner().get_X7(),
24            _ => panic!(),
25        }
26    }
27}