/trunk/kernel/arch/mips32/include/mm/frame.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __mips32_FRAME_H__ |
#define __mips32_FRAME_H__ |
#ifndef KERN_mips32_FRAME_H_ |
#define KERN_mips32_FRAME_H_ |
|
#define FRAME_WIDTH 14 /* 16K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
/trunk/kernel/arch/mips32/include/mm/asid.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __mips32_ASID_H__ |
#define __mips32_ASID_H__ |
#ifndef KERN_mips32_ASID_H_ |
#define KERN_mips32_ASID_H_ |
|
#include <arch/types.h> |
|
45,4 → 45,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/mips32/include/mm/tlb.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __mips32_TLB_H__ |
#define __mips32_TLB_H__ |
#ifndef KERN_mips32_TLB_H_ |
#define KERN_mips32_TLB_H_ |
|
#include <arch/exception.h> |
#include <typedefs.h> |
/trunk/kernel/arch/mips32/include/mm/as.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __mips32_AS_H__ |
#define __mips32_AS_H__ |
#ifndef KERN_mips32_AS_H_ |
#define KERN_mips32_AS_H_ |
|
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
|