/trunk/kernel/generic/include/main/kinit.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __KINIT_H__ |
#define __KINIT_H__ |
#ifndef KERN_KINIT_H_ |
#define KERN_KINIT_H_ |
extern void kinit(void *arg); |
41,4 → 41,3 |
/** @} |
*/ |
/trunk/kernel/generic/include/main/main.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __MAIN_H__ |
#define __MAIN_H__ |
#ifndef KERN_MAIN_H_ |
#define KERN_MAIN_H_ |
#include <typedefs.h> |
/trunk/kernel/generic/include/main/version.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __VERSION_H__ |
#define __VERSION_H__ |
#ifndef KERN_VERSION_H_ |
#define KERN_VERSION_H_ |
extern void version_print(void); |
/trunk/kernel/generic/include/main/uinit.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __UINIT_H__ |
#define __UINIT_H__ |
#ifndef KERN_UINIT_H_ |
#define KERN_UINIT_H_ |
#include <arch/types.h> |
43,4 → 43,3 |
/** @} |
*/ |