Searched refs:do_psci_cpu_on (Results 1 – 3 of 3) sorted by relevance
26 int32_t do_psci_cpu_on(uint32_t vcpuid, register_t entry_point);
95 int32_t do_psci_cpu_on(uint32_t vcpuid, register_t entry_point) in do_psci_cpu_on() function
130 PSCI_SET_RESULT(regs, do_psci_cpu_on(vcpuid, epoint)); in handle_existing_apis()
Completed in 4 milliseconds