Defined in 7 files as a function:
- kernel/trace/rv/monitors/pagefault/pagefault.h, line 21 (as a function)
- kernel/trace/rv/monitors/sleep/sleep.h, line 34 (as a function)
- kernel/trace/rv/monitors/wakeup/wakeup.h, line 25 (as a function)
- tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h, line 21 (as a function)
- tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.h, line 21 (as a function)
- tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h, line 21 (as a function)
- tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.h, line 21 (as a function)