5#ifndef OPENTITAN_SW_DEVICE_LIB_TESTING_AUTOGEN_ISR_TESTUTILS_H_
6#define OPENTITAN_SW_DEVICE_LIB_TESTING_AUTOGEN_ISR_TESTUTILS_H_
17#include "sw/device/lib/dif/autogen/dif_alert_handler_autogen.h"
18#include "sw/device/lib/dif/autogen/dif_aon_timer_autogen.h"
19#include "sw/device/lib/dif/autogen/dif_csrng_autogen.h"
21#include "sw/device/lib/dif/autogen/dif_edn_autogen.h"
22#include "sw/device/lib/dif/autogen/dif_gpio_autogen.h"
23#include "sw/device/lib/dif/autogen/dif_hmac_autogen.h"
24#include "sw/device/lib/dif/autogen/dif_i2c_autogen.h"
26#include "sw/device/lib/dif/autogen/dif_kmac_autogen.h"
28#include "sw/device/lib/dif/autogen/dif_otbn_autogen.h"
29#include "sw/device/lib/dif/autogen/dif_otp_ctrl_autogen.h"
30#include "sw/device/lib/dif/autogen/dif_pwrmgr_autogen.h"
32#include "sw/device/lib/dif/autogen/dif_rv_timer_autogen.h"
34#include "sw/device/lib/dif/autogen/dif_spi_device_autogen.h"
35#include "sw/device/lib/dif/autogen/dif_spi_host_autogen.h"
36#include "sw/device/lib/dif/autogen/dif_uart_autogen.h"
530 dif_ac_range_check_irq_t *irq_serviced);
544 dif_alert_handler_irq_t *irq_serviced);
558 dif_aon_timer_irq_t *irq_serviced);
572 dif_csrng_irq_t *irq_serviced);
587 dif_dma_irq_t *irq_serviced);
601 dif_edn_irq_t *irq_serviced);
615 dif_gpio_irq_t *irq_serviced);
630 dif_hmac_irq_t *irq_serviced);
645 dif_i2c_irq_t *irq_serviced);
659 dif_keymgr_dpe_irq_t *irq_serviced);
674 dif_kmac_irq_t *irq_serviced);
688 dif_mbx_irq_t *irq_serviced);
702 dif_otbn_irq_t *irq_serviced);
716 dif_otp_ctrl_irq_t *irq_serviced);
730 dif_pwrmgr_irq_t *irq_serviced);
745 dif_racl_ctrl_irq_t *irq_serviced);
759 dif_rv_timer_irq_t *irq_serviced);
773 dif_soc_proxy_irq_t *irq_serviced);
788 dif_spi_device_irq_t *irq_serviced);
803 dif_spi_host_irq_t *irq_serviced);
818 dif_uart_irq_t *irq_serviced);