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_entropy_src_autogen.h"
23#include "sw/device/lib/dif/autogen/dif_gpio_autogen.h"
24#include "sw/device/lib/dif/autogen/dif_hmac_autogen.h"
25#include "sw/device/lib/dif/autogen/dif_i2c_autogen.h"
27#include "sw/device/lib/dif/autogen/dif_kmac_autogen.h"
29#include "sw/device/lib/dif/autogen/dif_otbn_autogen.h"
30#include "sw/device/lib/dif/autogen/dif_otp_ctrl_autogen.h"
31#include "sw/device/lib/dif/autogen/dif_pwrmgr_autogen.h"
33#include "sw/device/lib/dif/autogen/dif_rv_timer_autogen.h"
35#include "sw/device/lib/dif/autogen/dif_spi_device_autogen.h"
36#include "sw/device/lib/dif/autogen/dif_spi_host_autogen.h"
37#include "sw/device/lib/dif/autogen/dif_uart_autogen.h"
553 dif_ac_range_check_irq_t *irq_serviced);
567 dif_alert_handler_irq_t *irq_serviced);
581 dif_aon_timer_irq_t *irq_serviced);
595 dif_csrng_irq_t *irq_serviced);
610 dif_dma_irq_t *irq_serviced);
624 dif_edn_irq_t *irq_serviced);
638 dif_entropy_src_irq_t *irq_serviced);
652 dif_gpio_irq_t *irq_serviced);
667 dif_hmac_irq_t *irq_serviced);
682 dif_i2c_irq_t *irq_serviced);
696 dif_keymgr_dpe_irq_t *irq_serviced);
711 dif_kmac_irq_t *irq_serviced);
725 dif_mbx_irq_t *irq_serviced);
739 dif_otbn_irq_t *irq_serviced);
753 dif_otp_ctrl_irq_t *irq_serviced);
767 dif_pwrmgr_irq_t *irq_serviced);
782 dif_racl_ctrl_irq_t *irq_serviced);
796 dif_rv_timer_irq_t *irq_serviced);
810 dif_soc_proxy_irq_t *irq_serviced);
825 dif_spi_device_irq_t *irq_serviced);
840 dif_spi_host_irq_t *irq_serviced);
855 dif_uart_irq_t *irq_serviced);