diff --git a/plat/xilinx/zynqmp/plat_startup.c b/plat/xilinx/zynqmp/plat_startup.c
index a5de624..c2c9bfb 100644
--- a/plat/xilinx/zynqmp/plat_startup.c
+++ b/plat/xilinx/zynqmp/plat_startup.c
@@ -114,7 +114,7 @@
 {
 	uint64_t flags = partition->flags & FSBL_FLAGS_EL_MASK;
 
-	return flags >> FSBL_FLAGS_EL_SHIFT;;
+	return flags >> FSBL_FLAGS_EL_SHIFT;
 }
 
 /**