idle_cpu — is a given cpu idle currently?
int idle_cpu (int cpu);
int idle_cpu (
)
cpu
the processor in question.