diff --git a/src/arch/riscv/irqc/plic/vplic.c b/src/arch/riscv/irqc/plic/vplic.c
index 76311b7dc..f0e63ab59 100644
--- a/src/arch/riscv/irqc/plic/vplic.c
+++ b/src/arch/riscv/irqc/plic/vplic.c
@@ -142,7 +142,7 @@ static void vplic_ipi_handler(uint32_t event, uint64_t data)
 {
     switch (event) {
         case UPDATE_HART_LINE:
-            vplic_update_hart_line(cpu()->vcpu, data);
+            vplic_update_hart_line(cpu()->vcpu, (size_t)data);
             break;
         default:
             WARNING("Unknown VPLIC IPI event");