1 files changed, 2 insertions, 1 deletions
diff --git a/test9.c b/test9.c
index 7bd2566..b96fbde 100644
--- a/test9.c
+++ b/test9.c
@@ -49,7 +49,8 @@ void main(void)
     puts("# cpuid ");
     puthex(early_state.cpuid);
     putc('\n');
-    TEST(icsr, 0);
+    /* ICSR.RETTOBASE is architecturally UNKNOWN here, so don't test it */
+    TEST(icsr & ~ICSR_RETTOBASE, 0);
     TEST(vtor, 0);
     TEST(aircr, 0xfa050000);
     TEST(scr, 0);