remove lib.rs error

PLSysSec · Jul 15, 2024 · 85ac30d · 85ac30d
1 parent 7bb8aff
commit 85ac30d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/arch/rv32i/src/lib.rs b/arch/rv32i/src/lib.rs
@@ -164,6 +164,7 @@ pub enum PermissionMode {
 /// some platforms have added more bits to the `mtvec` register.
 ///
 /// The trap handler is called on exceptions and for interrupts.
+#[flux::ignore]
 pub unsafe fn configure_trap_handler(mode: PermissionMode) {
     match mode {
         PermissionMode::Machine => csr::CSR.mtvec.write(