diff --git a/src/arch/arm64/armv8/lib/pstate.c b/src/arch/arm64/armv8/lib/pstate.c
index d2f3649ee9..ecec387fa9 100644
--- a/src/arch/arm64/armv8/lib/pstate.c
+++ b/src/arch/arm64/armv8/lib/pstate.c
@@ -325,6 +325,16 @@ void raw_write_sp_el3(uint64_t sp_el3)
 		raw_write_spsel(spsel);
 }
 
+uint64_t raw_read_sp_elx(uint32_t el)
+{
+	SWITCH_CASE_READ(raw_read_sp, sp, uint64_t, el);
+}
+
+void raw_write_sp_elx(uint64_t sp_elx, uint32_t el)
+{
+	SWITCH_CASE_WRITE(raw_write_sp, sp_elx, el);
+}
+
 /* SPSR */
 uint32_t raw_read_spsr_abt(void)
 {
diff --git a/src/arch/arm64/include/armv8/arch/lib_helpers.h b/src/arch/arm64/include/armv8/arch/lib_helpers.h
index 014926d8fe..4fcef28f11 100644
--- a/src/arch/arm64/include/armv8/arch/lib_helpers.h
+++ b/src/arch/arm64/include/armv8/arch/lib_helpers.h
@@ -217,6 +217,8 @@ uint32_t raw_read_spsel(void);
 void raw_write_spsel(uint32_t spsel);
 uint64_t raw_read_sp_el3(void);
 void raw_write_sp_el3(uint64_t sp_el3);
+uint64_t raw_read_sp_elx(uint32_t el);
+void raw_write_sp_elx(uint64_t sp_elx, uint32_t el);
 uint32_t raw_read_spsr_abt(void);
 void raw_write_spsr_abt(uint32_t spsr_abt);
 uint32_t raw_read_spsr_el1(void);