Searched refs:smp4d_boot_one_cpu (Results 1 – 3 of 3) sorted by relevance
114 int smp4d_boot_one_cpu(int i, struct task_struct *idle);
268 ret = smp4d_boot_one_cpu(cpu, tidle); in __cpu_up()
121 int smp4d_boot_one_cpu(int i, struct task_struct *idle) in smp4d_boot_one_cpu() function