/trunk/kernel/arch/ia64/include/mm/frame.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia64_FRAME_H__ |
#define __ia64_FRAME_H__ |
#ifndef KERN_ia64_FRAME_H_ |
#define KERN_ia64_FRAME_H_ |
|
#define FRAME_WIDTH 14 /* 16K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
52,4 → 52,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia64/include/mm/memory_init.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia64_MEMORY_INIT_H__ |
#define __ia64_MEMORY_INIT_H__ |
#ifndef KERN_ia64_MEMORY_INIT_H_ |
#define KERN_ia64_MEMORY_INIT_H_ |
|
#include <config.h> |
|
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia64/include/mm/tlb.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia64_TLB_H__ |
#define __ia64_TLB_H__ |
#ifndef KERN_ia64_TLB_H_ |
#define KERN_ia64_TLB_H_ |
|
#define tlb_arch_init() |
#define tlb_print() |
102,4 → 102,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia64/include/mm/vhpt.h |
32,10 → 32,9 |
/** @file |
*/ |
|
#ifndef KERN_ia64_VHPT_H_ |
#define KERN_ia64_VHPT_H_ |
|
#ifndef __ia64_VHPT_H__ |
#define __ia64_VHPT_H__ |
|
#include <arch/mm/tlb.h> |
#include <arch/mm/page.h> |
|
55,10 → 54,7 |
void vhpt_invalidate_all(void); |
void vhpt_invalidate_asid(asid_t asid); |
|
|
#endif |
|
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia64/include/mm/as.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia64_AS_H__ |
#define __ia64_AS_H__ |
#ifndef KERN_ia64_AS_H_ |
#define KERN_ia64_AS_H_ |
|
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
|
50,4 → 50,3 |
|
/** @} |
*/ |
|