5#ifndef OPENTITAN_SW_DEVICE_LIB_TESTING_EDN_TESTUTILS_H_
6#define OPENTITAN_SW_DEVICE_LIB_TESTING_EDN_TESTUTILS_H_
9#include "sw/device/lib/testing/test_framework/check.h"
17inline bool edn_testutils_get_status(
dif_edn_t *edn, uint32_t state_val) {
19 dif_result_t res = dif_edn_get_main_state_machine(edn, &state);
20 return (res ==
kDifOk) && (state == state_val);
31#define EDN_TESTUTILS_WAIT_FOR_STATUS(edn_, state_, flag_, timeout_usec_) \
32 IBEX_TRY_SPIN_FOR(edn_testutils_get_status((edn_), (state_)) == (flag_), \
54 unsigned int res_itval,
55 unsigned int glen_val);