armagnac 0.3.0

A simple ARM emulation library for simulating embedded systems
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

/// Local monitor state as defined in the Arm Architecture Reference Manual.
#[derive(PartialEq, Eq)]
pub enum MonitorState {
    OpenAccess,
    ExclusiveAccess { address: u32 },
}

/// Implements local monitor for exclusive accesses.
pub struct LocalMonitor {
    /// Current monitor state.
    pub state: MonitorState,
    /// Exclusives reservation granule.
    /// Must be a power of two.
    pub granule: u32,
}

impl LocalMonitor {
    pub fn new(granule: u32) -> Self {
        assert!(
            granule.is_power_of_two(),
            "Exclusives reservation granule must be a power of two."
        );
        assert!(
            (granule >= 4) && (granule <= 512),
            "Exclusive reservation granule must be in [4, 512]."
        );
        Self {
            state: MonitorState::OpenAccess,
            granule,
        }
    }
}