cpu_setup_trampoline_callback
cpu_setup_trampoline_callback(ci);
static void cpu_setup_trampoline_callback(struct cpu_info *);