diff --git a/services/spd/tspd/tspd_common.c b/services/spd/tspd/tspd_common.c
index f9ca6241e749ade4819328c110b07916df0ed203..b8065430d822d6e9ea4346febcc8f58a0c286abd 100644
--- a/services/spd/tspd/tspd_common.c
+++ b/services/spd/tspd/tspd_common.c
@@ -82,7 +82,7 @@ int32_t tspd_init_secure_context(uint64_t entrypoint,
 	 * 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);