/trunk/kernel/generic/include/time/clock.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __CLOCK_H__ |
#define __CLOCK_H__ |
#ifndef KERN_CLOCK_H_ |
#define KERN_CLOCK_H_ |
#define HZ 100 |
/trunk/kernel/generic/include/time/delay.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __DELAY_H__ |
#define __DELAY_H__ |
#ifndef KERN_DELAY_H_ |
#define KERN_DELAY_H_ |
#include <arch/types.h> |
/trunk/kernel/generic/include/time/timeout.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __TIMEOUT_H__ |
#define __TIMEOUT_H__ |
#ifndef KERN_TIMEOUT_H_ |
#define KERN_TIMEOUT_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
/trunk/kernel/generic/include/cpu.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __CPU_H__ |
#define __CPU_H__ |
#ifndef KERN_CPU_H_ |
#define KERN_CPU_H_ |
#include <arch/cpu.h> |
#include <proc/scheduler.h> |
/trunk/kernel/generic/include/arch.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __ARCH_H__ |
#define __ARCH_H__ |
#ifndef KERN_ARCH_H_ |
#define KERN_ARCH_H_ |
#include <arch/types.h> |
#include <arch/arch.h> |
79,11 → 79,6 |
extern void arch_post_smp_init(void); |
extern void calibrate_delay_loop(void); |
extern ipl_t interrupts_disable(void); |
extern ipl_t interrupts_enable(void); |
extern void interrupts_restore(ipl_t ipl); |
extern ipl_t interrupts_read(void); |
#endif |
/** @} |
/trunk/kernel/generic/include/typedefs.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __TYPEDEFS_H__ |
#define __TYPEDEFS_H__ |
#ifndef KERN_TYPEDEFS_H_ |
#define KERN_TYPEDEFS_H_ |
#define false 0 |
#define true 1 |