Lines Matching refs:int32_t
34 static int32_t versal2_pwr_domain_on(u_register_t mpidr) in versal2_pwr_domain_on()
36 int32_t cpu_id = plat_core_pos_by_mpidr(mpidr); in versal2_pwr_domain_on()
37 int32_t ret = (int32_t) PSCI_E_INTERN_FAIL; in versal2_pwr_domain_on()
52 ret = (int32_t) PSCI_E_SUCCESS; in versal2_pwr_domain_on()
110 int32_t ret; in versal2_system_reset()
140 } while ((ret != (int32_t)IPI_MB_STATUS_RECV_PENDING) && (timeout > 0U)); in versal2_system_reset()
194 static int32_t versal2_validate_ns_entrypoint(uint64_t ns_entrypoint) in versal2_validate_ns_entrypoint()
196 int32_t ret = PSCI_E_SUCCESS; in versal2_validate_ns_entrypoint()
297 } while ((ret != (int32_t)IPI_MB_STATUS_RECV_PENDING) && !timeout_elapsed(timeout)); in versal2_system_off()
314 static int32_t versal2_validate_power_state(unsigned int power_state, in versal2_validate_power_state()
318 int32_t ret = PSCI_E_SUCCESS; in versal2_validate_power_state()
381 int32_t sip_svc_setup_init(void) in sip_svc_setup_init()