/kernel/trunk/arch/sparc64/include/mm/page.h |
---|
33,6 → 33,7 |
#include <arch/mm/frame.h> |
#include <arch/types.h> |
#define PAGE_WIDTH FRAME_WIDTH |
#define PAGE_SIZE FRAME_SIZE |
#define KA2PA(x) ((__address) (x)) |
/kernel/trunk/arch/ppc32/include/mm/page.h |
---|
33,6 → 33,7 |
#include <arch/mm/frame.h> |
#include <arch/types.h> |
#define PAGE_WIDTH FRAME_WIDTH |
#define PAGE_SIZE FRAME_SIZE |
#define KA2PA(x) (((__address) (x)) - 0x80000000) |
/kernel/trunk/arch/amd64/include/mm/page.h |
---|
35,6 → 35,7 |
# include <arch/types.h> |
#endif |
#define PAGE_WIDTH FRAME_WIDTH |
#define PAGE_SIZE FRAME_SIZE |
#ifndef __ASM__ |
/kernel/trunk/arch/mips32/include/mm/page.h |
---|
29,6 → 29,7 |
#ifndef __mips32_PAGE_H__ |
#define __mips32_PAGE_H__ |
#define PAGE_WIDTH FRAME_WIDTH |
#define PAGE_SIZE FRAME_SIZE |
#ifndef __ASM__ |
/kernel/trunk/arch/mips32/src/mm/tlb.c |
---|
366,7 → 366,7 |
* Handler cannot succeed if badvaddr has no mapping. |
*/ |
if (!pte) { |
printf("No such mapping: %P.\n", badvaddr); |
printf("No such mapping.\n"); |
return NULL; |
} |
/kernel/trunk/arch/ia32/include/mm/page.h |
---|
29,6 → 29,7 |
#ifndef __ia32_PAGE_H__ |
#define __ia32_PAGE_H__ |
#define PAGE_WIDTH FRAME_WIDTH |
#define PAGE_SIZE FRAME_SIZE |
#ifndef __ASM__ |