diff --git a/services/std_svc/spm/secure_partition_setup.c b/services/std_svc/spm/secure_partition_setup.c
index 6624e2b4b892e3c9cda316f0e713df63d72edbe9..673016083f081ae2047987fab4441414e341c888 100644
--- a/services/std_svc/spm/secure_partition_setup.c
+++ b/services/std_svc/spm/secure_partition_setup.c
@@ -270,8 +270,8 @@ void secure_partition_setup(void)
 	 * be populated, just after the boot info.
 	 */
 	((secure_partition_boot_info_t *) shared_buf_ptr)->mp_info =
-		((secure_partition_mp_info_t *) shared_buf_ptr) +
-		sizeof(secure_partition_boot_info_t);
+		(secure_partition_mp_info_t *) ((uintptr_t)shared_buf_ptr
+				+ sizeof(secure_partition_boot_info_t));
 
 	/*
 	 * Update the shared buffer pointer to where the MP information for the