/kernel/trunk/arch/ia64/include/mm/frame.h |
29,7 → 29,7 |
#ifndef __ia64_FRAME_H__ |
#define __ia64_FRAME_H__ |
|
#define FRAME_WIDTH 14 |
#define FRAME_WIDTH 14 /* 16K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
|
extern void frame_arch_init(void); |
/kernel/trunk/arch/ppc32/include/mm/frame.h |
29,7 → 29,8 |
#ifndef __ppc32_FRAME_H__ |
#define __ppc32_FRAME_H__ |
|
#define FRAME_SIZE 4096 |
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
|
extern void frame_arch_init(void); |
|
/kernel/trunk/arch/amd64/include/mm/frame.h |
33,8 → 33,10 |
#include <arch/types.h> |
#endif /* __ASM__ */ |
|
#define FRAME_SIZE 4096 |
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
|
|
#ifndef __ASM__ |
extern __address last_frame; |
extern void frame_arch_init(void); |
/kernel/trunk/arch/mips32/include/mm/frame.h |
29,7 → 29,8 |
#ifndef __mips32_FRAME_H__ |
#define __mips32_FRAME_H__ |
|
#define FRAME_SIZE 16384 |
#define FRAME_WIDTH 14 /* 16K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
|
extern void frame_arch_init(void); |
|