changed debug printout

This commit is contained in:
Markus Fröschle
2013-11-19 18:18:12 +00:00
parent a242398ab1
commit 5bd4bc38b5

View File

@@ -350,7 +350,7 @@ void mmutr_miss(void)
{ {
register uint32_t address asm("d0"); register uint32_t address asm("d0");
debug_print("MMU TLB MISS at %08p\r\n", address); debug_print("MMU TLB MISS at 0x%08x\r\n", address);
flush_and_invalidate_caches(); flush_and_invalidate_caches();
/* add missed page to TLB */ /* add missed page to TLB */