5 #ifndef OPENTITAN_SW_DEVICE_LIB_DIF_DIF_RSTMGR_H_
6 #define OPENTITAN_SW_DEVICE_LIB_DIF_DIF_RSTMGR_H_
17 #include "dt/dt_rstmgr.h"
22 #include "sw/device/lib/dif/autogen/dif_rstmgr_autogen.h"
33 #define DIF_RSTMGR_ALERT_INFO_MAX_SIZE 0xf
40 #define DIF_RSTMGR_CPU_INFO_MAX_SIZE 0xf
87 #
if defined(OPENTITAN_IS_EARLGREY)
91 kDifRstmgrResetInfoSysRstCtrl = (1 << 3),
95 kDifRstmgrResetInfoWatchdog = (1 << 4),
96 #elif defined(OPENTITAN_IS_DARJEELING)
100 kDifRstmgrResetInfoWatchdog = (1 << 3),
104 kDifRstmgrResetInfoExternalRst = (1 << 4),
106 #error "dif_rstmgr does not support this top"
136 } dif_rstmgr_fatal_err_type_t;
276 size_t dump_size,
size_t *segments_read);
346 size_t dump_size,
size_t *segments_read);