diff --git a/arch/rv32i/src/lib.rs b/arch/rv32i/src/lib.rs
index 18b3daa8a4..978bf930ba 100644
--- 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(