/kernel/trunk/arch/ppc64/src/proc/scheduler.c |
---|
26,6 → 26,13 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc64proc ppc64 |
* @ingroup proc |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/mm/page.h> |
#include <arch/boot/boot.h> |
#include <proc/scheduler.h> |
52,3 → 59,7 |
void after_thread_ran_arch(void) |
{ |
} |
/** @} |
*/ |