diff --git a/xen/arch/x86/genapic/es7000plat.c b/xen/arch/x86/genapic/es7000plat.c
index 032ac972d7..1d7d0d5776 100644
--- a/xen/arch/x86/genapic/es7000plat.c
+++ b/xen/arch/x86/genapic/es7000plat.c
@@ -165,7 +165,7 @@ find_unisys_acpi_oem_table(unsigned long *oem_addr)
 	unsigned long			rsdp_phys = 0;
 	struct acpi_table_header 	*header = NULL;
 	int				i;
-	struct acpi_table_sdt		sdt;
+	struct acpi_table_sdt		sdt = { 0 }; /* initialise sdt.count */
 
 	rsdp_phys = acpi_find_rsdp();
 	rsdp = __va(rsdp_phys);