diff --git a/src/lkl/virtio.c b/src/lkl/virtio.c
index ef1894365..3486eaa6b 100644
--- a/src/lkl/virtio.c
+++ b/src/lkl/virtio.c
@@ -520,7 +520,6 @@ static int device_num_queues(int device_id)
 void lkl_virtio_deliver_irq(uint8_t dev_id)
 {
     struct virtio_dev *dev_host = dev_hosts[dev_id];
-    int num_queues = device_num_queues(dev_host->device_id);
     
     // Get sgxlkl_enclave_state
     if (virtio_deliver_irq[dev_id])