143 	uint32_t a1 = args->a1;  in tee_psci_handler()  local
152 		args->a0 = psci_cpu_suspend(a1, a2, a3, nsec);  in tee_psci_handler()
158 		args->a0 = psci_cpu_on(a1, a2, a3);  in tee_psci_handler()
161 		args->a0 = psci_affinity_info(a1, a2);  in tee_psci_handler()
164 		args->a0 = psci_migrate(a1);  in tee_psci_handler()
183 		args->a0 = psci_features(a1);  in tee_psci_handler()
186 		args->a0 = psci_system_reset2(a1, a2);  in tee_psci_handler()
189 		args->a0 = psci_mem_protect(a1);  in tee_psci_handler()
192 		args->a0 = psci_mem_chk_range(a1, a2);  in tee_psci_handler()
195 		args->a0 = psci_node_hw_state(a1, a2);  in tee_psci_handler()
198 		args->a0 = psci_system_suspend(a1, a2, nsec);  in tee_psci_handler()