| /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 |
| /trunk/kernel/generic/src/cpu/cpu.c |
|---|
| 109,6 → 109,6 |
| } |
| } |
| /** @} |
| /** @} |
| */ |