changed printout formatting

This commit is contained in:
Markus Fröschle
2013-11-19 17:23:53 +00:00
parent f5f9eb801a
commit a242398ab1

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 %p\r\n", address); debug_print("MMU TLB MISS at %08p\r\n", address);
flush_and_invalidate_caches(); flush_and_invalidate_caches();
/* add missed page to TLB */ /* add missed page to TLB */