/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; |
} |