void
cpu_idle(void)
)
is called by machine-independent code when the processor has
nothing to do.
It can be used to conserve the processor power, for example.
cpu_idle()
returns immediately if
cpu_need_resched()
has been called for the processor after
the last call of
cpu_idle()
or
cpu_did_resched()
on the processor.
cpu_idle()
returns as soon as possible when
cpu_need_resched()
is called for the processor.
Otherwise, it returns whenever it likes.
cpu_idle()
is called at
IPL_NONE,
without any locks held.
)
is the following.
void
cpu_idle(void)
{
/* nothing */
}