Searched refs:smp_highest_cpu (Results 1 – 1 of 1) sorted by relevance
26 static int smp_highest_cpu; variable288 register int high = smp_highest_cpu; in smp4d_cross_call()