Subject: Re: Moving scheduler semantics from cpu_switch() to kern_synch.c
To: Daniel Sieger <dsieger@TechFak.Uni-Bielefeld.DE>
From: Martin Husemann <>
List: tech-kern
Date: 09/10/2006 15:39:59
On Sun, Sep 10, 2006 at 03:05:38PM +0200, Daniel Sieger wrote:
> My problem now is that cpu_idle() is only defined as a prototype but
> is never actually defined (irritatingly, it has a man-page).

The man page should be fixed, apparently no port actually calls cpu_idle.
You need to look closer at the ports locore.s to find the equivalent - for
example i386 seems to have idle_loop: and NENTRY(mpidle).