/* * Called from each CPU's idle loop. */