diff --git a/lib/sbi/tests/riscv_locks_test.c b/lib/sbi/tests/riscv_locks_test.c index 7894c4e9..2cbba3da 100644 --- a/lib/sbi/tests/riscv_locks_test.c +++ b/lib/sbi/tests/riscv_locks_test.c @@ -4,6 +4,7 @@ static spinlock_t test_lock = SPIN_LOCK_INITIALIZER; static void spin_lock_test(struct sbiunit_test_case *test) + NO_THREAD_SAFETY_ANALYSIS { /* We don't want to accidentally get locked */ SBIUNIT_ASSERT(test, !spin_lock_check(&test_lock)); @@ -16,6 +17,7 @@ static void spin_lock_test(struct sbiunit_test_case *test) } static void spin_trylock_fail(struct sbiunit_test_case *test) + NO_THREAD_SAFETY_ANALYSIS { /* We don't want to accidentally get locked */ SBIUNIT_ASSERT(test, !spin_lock_check(&test_lock)); @@ -26,6 +28,7 @@ static void spin_trylock_fail(struct sbiunit_test_case *test) } static void spin_trylock_success(struct sbiunit_test_case *test) + NO_THREAD_SAFETY_ANALYSIS { SBIUNIT_EXPECT(test, spin_trylock(&test_lock)); spin_unlock(&test_lock);