/*
 * $Id: kern_sched.c,v 1.1 2007/11/19 15:54:33 nbrk Exp $
 */
#include <sys/types.h>
#include <sys/kern_sched.h>

#include <libkern/printf.h>