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