5#ifndef OPENTITAN_SW_DEVICE_LIB_TESTING_AUTOGEN_ISR_TESTUTILS_H_
6#define OPENTITAN_SW_DEVICE_LIB_TESTING_AUTOGEN_ISR_TESTUTILS_H_
16#include "sw/device/lib/dif/autogen/dif_aon_timer_autogen.h"
17#include "sw/device/lib/dif/autogen/dif_flash_ctrl_autogen.h"
18#include "sw/device/lib/dif/autogen/dif_gpio_autogen.h"
19#include "sw/device/lib/dif/autogen/dif_pwrmgr_autogen.h"
20#include "sw/device/lib/dif/autogen/dif_rv_timer_autogen.h"
21#include "sw/device/lib/dif/autogen/dif_spi_device_autogen.h"
22#include "sw/device/lib/dif/autogen/dif_spi_host_autogen.h"
23#include "sw/device/lib/dif/autogen/dif_uart_autogen.h"
24#include "sw/device/lib/dif/autogen/dif_usbdev_autogen.h"
253 dif_aon_timer_irq_t *irq_serviced);
267 bool mute_status_irq,
269 dif_flash_ctrl_irq_t *irq_serviced);
283 dif_gpio_irq_t *irq_serviced);
297 dif_pwrmgr_irq_t *irq_serviced);
311 dif_rv_timer_irq_t *irq_serviced);
325 bool mute_status_irq,
327 dif_spi_device_irq_t *irq_serviced);
341 bool mute_status_irq,
343 dif_spi_host_irq_t *irq_serviced);
358 dif_uart_irq_t *irq_serviced);
373 dif_usbdev_irq_t *irq_serviced);