diff --git a/devicemodel/hw/platform/hpet.c b/devicemodel/hw/platform/hpet.c
index b5eb64744..7f1a59c78 100644
--- a/devicemodel/hw/platform/hpet.c
+++ b/devicemodel/hw/platform/hpet.c
@@ -846,7 +846,7 @@ vhpet_mmio_read(struct vhpet *vhpet, int vcpuid, uint64_t gpa, uint64_t *rval,
 		int size)
 {
 	int offset, i;
-	uint64_t data;
+	uint64_t data = 0;
 
 	offset = gpa - VHPET_BASE;
 
@@ -858,7 +858,6 @@ vhpet_mmio_read(struct vhpet *vhpet, int vcpuid, uint64_t gpa, uint64_t *rval,
 	if ((size != 4 && size != 8) || (offset & (size - 1))) {
 		WPRINTF(("hpet invalid mmio read: "
 		         "offset 0x%08x, size %d\n", offset, size));
-		data = 0;
 		goto done;
 	}
 
@@ -905,7 +904,6 @@ vhpet_mmio_read(struct vhpet *vhpet, int vcpuid, uint64_t gpa, uint64_t *rval,
 	if (i >= VHPET_NUM_TIMERS) {
 		WPRINTF(("hpet invalid mmio read: "
 		         "offset 0x%08x, size %d\n", offset, size));
-		data = 0;
 	}
 
 done: