diff --git a/plat/arch/armv7a/ps_arch_armv7a_common.h b/plat/arch/armv7a/ps_arch_armv7a_common.h
index 1ebc32a..0872dac 100644
--- a/plat/arch/armv7a/ps_arch_armv7a_common.h
+++ b/plat/arch/armv7a/ps_arch_armv7a_common.h
@@ -144,6 +144,8 @@ struct ps_lock {
 	unsigned long o;
 };
 
+#define PS_LOCK_INITIALIZER (struct ps_lock) {.o = 0}
+
 static inline void
 ps_lock_take(struct ps_lock *l)
 { while (!ps_cas(&l->o, 0, 1)) ; }
diff --git a/plat/arch/x86/ps_arch_x86_common.h b/plat/arch/x86/ps_arch_x86_common.h
index d765adc..9a17e9c 100644
--- a/plat/arch/x86/ps_arch_x86_common.h
+++ b/plat/arch/x86/ps_arch_x86_common.h
@@ -118,6 +118,8 @@ struct ps_lock {
 	unsigned long o;
 };
 
+#define PS_LOCK_INITIALIZER (struct ps_lock) {.o = 0}
+
 static inline void
 ps_lock_take(struct ps_lock *l)
 { while (!ps_cas(&l->o, 0, 1)) ; }