pub struct Candidate {
pub table: u32,
pub entry: u32,
pub mode1_target: u32,
pub mode6_target: u32,
pub helper: Option<u32>,
}Expand description
A command table bound to an update-flag clearing block.
Fields§
§table: u32Thumb switch sequence or compiler-helper call.
entry: u32The literal load of MMIO 0x04002040 preceding the flag clear.
mode1_target: u32Mode 1 target before an optional unconditional branch.
mode6_target: u32Mode 6 target. Its buffer-id guard is a separate proof obligation.
helper: Option<u32>ARM compiler helper requiring an independent read and signature check.
Trait Implementations§
impl Copy for Candidate
impl Eq for Candidate
impl StructuralPartialEq for Candidate
Auto Trait Implementations§
impl Freeze for Candidate
impl RefUnwindSafe for Candidate
impl Send for Candidate
impl Sync for Candidate
impl Unpin for Candidate
impl UnsafeUnpin for Candidate
impl UnwindSafe for Candidate
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more