1208 static cpu_ops_pwr_dwn_op_t get_cpu_pwr_dwn(unsigned int power_level)  in get_cpu_pwr_dwn()  argument
1213 	if (power_level > CPU_MAX_PWR_DWN_OPS - 1) {  in get_cpu_pwr_dwn()
1214 		power_level = CPU_MAX_PWR_DWN_OPS - 1;  in get_cpu_pwr_dwn()
1218 	assert(ops->pwr_dwn_ops[power_level] != NULL);  in get_cpu_pwr_dwn()
1220 	return ops->pwr_dwn_ops[power_level];  in get_cpu_pwr_dwn()
1223 static void prepare_cpu_pwr_up(unsigned int power_level)  in prepare_cpu_pwr_up()  argument
1232 	u_register_t ret = get_cpu_pwr_dwn(power_level)();  in prepare_cpu_pwr_up()
1244 void psci_pwrdown_cpu_start(unsigned int power_level)  in psci_pwrdown_cpu_start()  argument
1258 	cpu_ops_pwr_dwn_op_t prepare_cpu_pwr_dwn = get_cpu_pwr_dwn(power_level);  in psci_pwrdown_cpu_start()
1328 void psci_pwrdown_cpu_end_wakeup(unsigned int power_level)  in psci_pwrdown_cpu_end_wakeup()  argument
1353 	prepare_cpu_pwr_up(power_level);  in psci_pwrdown_cpu_end_wakeup()