bern-arch 0.4.0

Bern RTOS hardware specific implementation.
Documentation 
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

//! CPU Register definitions.
//!
//! Adapted from the `cortex-m` crate.

/// CPU registers pushed/popped by the hardware
#[repr(C)]
pub struct StackFrame {
    /// (General purpose) Register 0
    pub r0: u32,
    /// (General purpose) Register 1
    pub r1: u32,
    /// (General purpose) Register 2
    pub r2: u32,
    /// (General purpose) Register 3
    pub r3: u32,
    /// (General purpose) Register 12
    pub r12: u32,
    /// Link Register
    pub lr: u32,
    /// Program Counter
    pub pc: u32,
    /// Program Status Register
    pub xpsr: u32,
}

/// CPU registers the software must push/pop to/from the stack
#[repr(C)]
pub struct StackFrameExtension {
    /// (General purpose) Register 4
    pub r4: u32,
    /// (General purpose) Register 5
    pub r5: u32,
    /// (General purpose) Register 6
    pub r6: u32,
    /// (General purpose) Register 7
    pub r7: u32,
    /// (General purpose) Register 8
    pub r8: u32,
    /// (General purpose) Register 9
    pub r9: u32,
    /// (General purpose) Register 10
    pub r10: u32,
    /// (General purpose) Register 11
    pub r11: u32,
}

/// FPU registers the software must push/pop to/from the stack
#[repr(C)]
pub struct StackFrameFpu {
    /// Floating Point Register 16
    pub s16: u32,
    /// Floating Point Register 17
    pub s17: u32,
    /// Floating Point Register 18
    pub s18: u32,
    /// Floating Point Register 19
    pub s19: u32,
    /// Floating Point Register 20
    pub s20: u32,
    /// Floating Point Register 21
    pub s21: u32,
    /// Floating Point Register 22
    pub s22: u32,
    /// Floating Point Register 23
    pub s23: u32,
    /// Floating Point Register 24
    pub s24: u32,
    /// Floating Point Register 25
    pub s25: u32,
    /// Floating Point Register 26
    pub s26: u32,
    /// Floating Point Register 27
    pub s27: u32,
    /// Floating Point Register 28
    pub s28: u32,
    /// Floating Point Register 29
    pub s29: u32,
    /// Floating Point Register 30
    pub s30: u32,
    /// Floating Point Register 31
    pub s31: u32,
}

/// Additional Settings pushed to the stack
#[repr(C)]
pub struct StackSettings {
    /// Link register in exception context
    pub exception_lr: u32,
    /// Control register (privilege level)
    pub control: u32,
}