Index: uspace/drv/audio/hdaudio/hdaudio.c
===================================================================
--- uspace/drv/audio/hdaudio/hdaudio.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ uspace/drv/audio/hdaudio/hdaudio.c	(revision eadaeae8dacc68cf558028f23cc96b90a08b7361)
@@ -263,5 +263,5 @@
 	}
 
-	int irq_cap;
+	cap_irq_handle_t irq_cap;
 	rc = register_interrupt_handler(dev, res.irqs.irqs[0],
 	    hdaudio_interrupt, &irq_code, &irq_cap);
Index: uspace/drv/audio/sb16/main.c
===================================================================
--- uspace/drv/audio/sb16/main.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ uspace/drv/audio/sb16/main.c	(revision eadaeae8dacc68cf558028f23cc96b90a08b7361)
@@ -93,5 +93,5 @@
 	irq_cmd_t irq_cmds[irq_cmd_count];
 	irq_pio_range_t irq_ranges[1];
-	int irq_cap;
+	cap_irq_handle_t irq_cap;
 
 	sb16_t *soft_state = ddf_dev_data_alloc(device, sizeof(sb16_t));