779 				  SMC_GET_GP(handle, CTX_GPREG_X5),  in spmd_smc_switch_state()
780 				  SMC_GET_GP(handle, CTX_GPREG_X6),  in spmd_smc_switch_state()
781 				  SMC_GET_GP(handle, CTX_GPREG_X7),  in spmd_smc_switch_state()
786 				  SMC_GET_GP(handle, CTX_GPREG_X5),  in spmd_smc_switch_state()
787 				  SMC_GET_GP(handle, CTX_GPREG_X6),  in spmd_smc_switch_state()
788 				  SMC_GET_GP(handle, CTX_GPREG_X7),  in spmd_smc_switch_state()
789 				  SMC_GET_GP(handle, CTX_GPREG_X8),  in spmd_smc_switch_state()
790 				  SMC_GET_GP(handle, CTX_GPREG_X9),  in spmd_smc_switch_state()
791 				  SMC_GET_GP(handle, CTX_GPREG_X10),  in spmd_smc_switch_state()
792 				  SMC_GET_GP(handle, CTX_GPREG_X11),  in spmd_smc_switch_state()
793 				  SMC_GET_GP(handle, CTX_GPREG_X12),  in spmd_smc_switch_state()
794 				  SMC_GET_GP(handle, CTX_GPREG_X13),  in spmd_smc_switch_state()
795 				  SMC_GET_GP(handle, CTX_GPREG_X14),  in spmd_smc_switch_state()
796 				  SMC_GET_GP(handle, CTX_GPREG_X15),  in spmd_smc_switch_state()
797 				  SMC_GET_GP(handle, CTX_GPREG_X16),  in spmd_smc_switch_state()
798 				  SMC_GET_GP(handle, CTX_GPREG_X17)  in spmd_smc_switch_state()
804 			 SMC_GET_GP(handle, CTX_GPREG_X5),  in spmd_smc_switch_state()
805 			 SMC_GET_GP(handle, CTX_GPREG_X6),  in spmd_smc_switch_state()
806 			 SMC_GET_GP(handle, CTX_GPREG_X7));  in spmd_smc_switch_state()
932 		    SMC_GET_GP(handle, CTX_GPREG_X5),  in spmd_smc_handler()
933 		    SMC_GET_GP(handle, CTX_GPREG_X6),  in spmd_smc_handler()
934 		    SMC_GET_GP(handle, CTX_GPREG_X7));  in spmd_smc_handler()
1062 			write_ctx_reg(gpregs, CTX_GPREG_X8, SMC_GET_GP(handle, CTX_GPREG_X8));  in spmd_smc_handler()
1063 			write_ctx_reg(gpregs, CTX_GPREG_X9, SMC_GET_GP(handle, CTX_GPREG_X9));  in spmd_smc_handler()
1064 			write_ctx_reg(gpregs, CTX_GPREG_X10, SMC_GET_GP(handle, CTX_GPREG_X10));  in spmd_smc_handler()
1065 			write_ctx_reg(gpregs, CTX_GPREG_X11, SMC_GET_GP(handle, CTX_GPREG_X11));  in spmd_smc_handler()
1066 			write_ctx_reg(gpregs, CTX_GPREG_X12, SMC_GET_GP(handle, CTX_GPREG_X12));  in spmd_smc_handler()
1067 			write_ctx_reg(gpregs, CTX_GPREG_X13, SMC_GET_GP(handle, CTX_GPREG_X13));  in spmd_smc_handler()
1068 			write_ctx_reg(gpregs, CTX_GPREG_X14, SMC_GET_GP(handle, CTX_GPREG_X14));  in spmd_smc_handler()
1069 			write_ctx_reg(gpregs, CTX_GPREG_X15, SMC_GET_GP(handle, CTX_GPREG_X15));  in spmd_smc_handler()
1070 			write_ctx_reg(gpregs, CTX_GPREG_X16, SMC_GET_GP(handle, CTX_GPREG_X16));  in spmd_smc_handler()
1071 			write_ctx_reg(gpregs, CTX_GPREG_X17, SMC_GET_GP(handle, CTX_GPREG_X17));  in spmd_smc_handler()
1076 			    (SMC_GET_GP(gpregs, CTX_GPREG_X0) !=  in spmd_smc_handler()
1078 			    (SMC_GET_GP(gpregs, CTX_GPREG_X2) !=  in spmd_smc_handler()
1084 				ret = SMC_GET_GP(gpregs, CTX_GPREG_X3);  in spmd_smc_handler()
1134 			 SMC_GET_GP(handle, CTX_GPREG_X5),  in spmd_smc_handler()
1135 			 SMC_GET_GP(handle, CTX_GPREG_X6),  in spmd_smc_handler()
1136 			 SMC_GET_GP(handle, CTX_GPREG_X7));  in spmd_smc_handler()