diff --git a/services/spd/tspd/tspd_common.c b/services/spd/tspd/tspd_common.c
index f9ca624..b806543 100644
--- a/services/spd/tspd/tspd_common.c
+++ b/services/spd/tspd/tspd_common.c
@@ -82,7 +82,7 @@
 	 * Program the SCTLR_EL1 such that upon entry in S-EL1, caches and MMU are
 	 * disabled and exception endianess is set to be the same as EL3
 	 */
-	sctlr = read_sctlr_el3()
+	sctlr = read_sctlr_el3();
 	sctlr &= SCTLR_EE_BIT;
 	sctlr |= SCTLR_EL1_RES1;
 	write_ctx_reg(el1_state, CTX_SCTLR_EL1, sctlr);