Subversion Repositories HelenOS-historic

Compare Revisions

Ignore whitespace Rev 763 → Rev 764

/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.\n");
printf("No such mapping: %P.\n", badvaddr);
return NULL;
}