/trunk/kernel/generic/include/proc/scheduler.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __SCHEDULER_H__ |
#define __SCHEDULER_H__ |
#ifndef KERN_SCHEDULER_H_ |
#define KERN_SCHEDULER_H_ |
|
#include <synch/spinlock.h> |
#include <time/clock.h> /* HZ */ |
/trunk/kernel/generic/include/proc/uarg.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __UARG_H__ |
#define __UARG_H__ |
#ifndef KERN_UARG_H_ |
#define KERN_UARG_H_ |
|
/** Structure passed to uinit kernel thread as argument. */ |
typedef struct uspace_arg { |
/trunk/kernel/generic/include/proc/task.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __TASK_H__ |
#define __TASK_H__ |
#ifndef KERN_TASK_H_ |
#define KERN_TASK_H_ |
|
#include <typedefs.h> |
#include <synch/spinlock.h> |
107,6 → 107,5 |
|
#endif |
|
/** @} |
/** @} |
*/ |
|