diff --git a/src/disk/hdc_ide.c b/src/disk/hdc_ide.c
index dbb283407..d8df384f1 100644
--- a/src/disk/hdc_ide.c
+++ b/src/disk/hdc_ide.c
@@ -3237,8 +3237,6 @@ mcide_mca_reset(void *priv)
 static void
 mcide_reset(void *priv)
 {
-    mcide_t *dev = (mcide_t *) priv;
-
     for (uint8_t i = 0; i < 2; i++) {
         if (ide_boards[i] != NULL)
             ide_board_reset(i);