67     /* Initialize the cpu we are turning on */  in arm_set_cpu_on_async_work()
72     /* We check if the started CPU is now at the correct level */  in arm_set_cpu_on_async_work()
114          * if we are booting in AArch64 mode then "entry" needs to be 4 bytes  in arm_set_cpu_on()
120     /* Retrieve the cpu we are powering up */  in arm_set_cpu_on()
150          * For now we don't support booting an AArch64 CPU in AArch32 mode  in arm_set_cpu_on()
151          * TODO: We should add this support later  in arm_set_cpu_on()
161      * If another CPU has powered the target on we are in the state  in arm_set_cpu_on()
173     /* To avoid racing with a CPU we are just kicking off we do the  in arm_set_cpu_on()
186     /* We are good to go */  in arm_set_cpu_on()
195     /* Initialize the cpu we are turning on */  in arm_set_cpu_on_and_reset_async_work()
211     /* Retrieve the cpu we are powering up */  in arm_set_cpu_on_and_reset()
227      * If another CPU has powered the target on we are in the state  in arm_set_cpu_on_and_reset()
242     /* We are good to go */  in arm_set_cpu_on_and_reset()
266     /* change to the cpu we are powering up */  in arm_set_cpu_off()
302     /* change to the cpu we are resetting */  in arm_reset_cpu()