target/arm/arm-powerctl.h

24  * @cpuid: the id of the CPU we want to retrieve the state
26  * Retrieve a CPUState object from its CPU ID provided in @cpuid.
30 CPUState *arm_get_cpu_by_id(uint64_t cpuid);
34  * @cpuid: the id of the CPU we want to start/wake up.
40  * Start the cpu designated by @cpuid in @target_el exception level. The mode
49 int arm_set_cpu_on(uint64_t cpuid, uint64_t entry, uint64_t context_id,
54  * @cpuid: the id of the CPU we want to stop/shut down.
56  * Stop the cpu designated by @cpuid.
63 int arm_set_cpu_off(uint64_t cpuid);
67  * @cpuid: the id of the CPU we want to reset.
69  * Reset the cpu designated by @cpuid.
75 int arm_reset_cpu(uint64_t cpuid);
79  * @cpuid: the id of the CPU we want to star
81  * Start the cpu designated by @cpuid and put it through its normal
91 int arm_set_cpu_on_and_reset(uint64_t cpuid);