Searched refs:smp_highest_cpu (Results 1 – 1 of 1) sorted by relevance
50 static int smp_highest_cpu; variable286 smp_highest_cpu = i; in smp4d_boot_cpus()340 register int high = smp_highest_cpu; in smp4d_cross_call()