add some boilerplate code for rv32i

PLSysSec · Jul 15, 2024 · 21ccbbc · 21ccbbc
1 parent 943e708
commit 21ccbbc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/arch/rv32i/src/lib.rs b/arch/rv32i/src/lib.rs
@@ -18,7 +18,9 @@ use kernel::utilities::registers::interfaces::{Readable, Writeable};
 pub mod clic;
 pub mod machine_timer;
 pub mod pmp;
+#[flux::ignore]
 pub mod support;
+#[flux::ignore]
 pub mod syscall;
 
 // Re-export the shared CSR library so that dependent crates do not have to have

diff --git a/arch/rv32i/src/support.rs b/arch/rv32i/src/support.rs
@@ -24,6 +24,7 @@ pub unsafe fn wfi() {
     asm!("wfi", options(nomem, nostack));
 }
 
+#[flux::trusted]
 pub unsafe fn atomic<F, R>(f: F) -> R
 where
     F: FnOnce() -> R,