/trunk/kernel/arch/ppc32/include/mm/frame.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ppc32_FRAME_H__ |
#define __ppc32_FRAME_H__ |
#ifndef KERN_ppc32_FRAME_H_ |
#define KERN_ppc32_FRAME_H_ |
|
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1 << FRAME_WIDTH) |
/trunk/kernel/arch/ppc32/include/mm/tlb.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ppc32_TLB_H__ |
#define __ppc32_TLB_H__ |
#ifndef KERN_ppc32_TLB_H_ |
#define KERN_ppc32_TLB_H_ |
|
typedef struct { |
unsigned v : 1; /**< Valid */ |
/trunk/kernel/arch/ppc32/include/mm/as.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ppc32_AS_H__ |
#define __ppc32_AS_H__ |
#ifndef KERN_ppc32_AS_H_ |
#define KERN_ppc32_AS_H_ |
|
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
|