diff --git a/sw/device/tests/sensor_ctrl_alerts.c b/sw/device/tests/sensor_ctrl_alerts.c
index d9bceaa..9d75be2 100644
--- a/sw/device/tests/sensor_ctrl_alerts.c
+++ b/sw/device/tests/sensor_ctrl_alerts.c
@@ -50,7 +50,7 @@
 /**
  *  Extracts current event id from the bit-strike counter.
  */
-static uint32_t event_to_test() {
+static uint32_t event_to_test(void) {
   uint32_t addr = (uint32_t)(&events_vector);
   uint32_t val = abs_mmio_read32(addr);
 
diff --git a/sw/device/tests/sensor_ctrl_wakeup.c b/sw/device/tests/sensor_ctrl_wakeup.c
index d6c0a41..aee0af9 100644
--- a/sw/device/tests/sensor_ctrl_wakeup.c
+++ b/sw/device/tests/sensor_ctrl_wakeup.c
@@ -42,7 +42,7 @@
  * External interrupt handler.
  */
 void ottf_external_isr(void) {
-  dif_rv_plic_irq_id_t irq_id;
+  dif_pwrmgr_irq_t irq_id;
   top_earlgrey_plic_peripheral_t peripheral;
 
   isr_testutils_pwrmgr_isr(plic_ctx, pwrmgr_isr_ctx, &peripheral, &irq_id);