Changeset 464

Timestamp:

Aug 19, 2018, 4:16:06 PM (6 years ago)

Author:

viala@…

Message:

FIX: Bad format kprintf in kcm.c

File:

• trunk/kernel/mm/kcm.c (modified) (1 diff)

trunk/kernel/mm/kcm.c

@@ -88 +88 @@
 cycle = (uint32_t)hal_get_cycles();
 if( DEBUG_KCM < cycle )
-printk("\n[DBG] %s : thread %x exit / type  %s / ptr %p / page %x / count %d\n",
-__FUNCTION__ , CURRENT_THREAD , kmem_type_str( kcm->type ) , ptr ,
+printk("\n[DBG] %s : thread %x exit / type  %s / ptr %x / page %x / count %d\n",
+       __FUNCTION__ , CURRENT_THREAD , kmem_type_str( kcm->type ) , (intptr_t)ptr ,
 (intptr_t)kcm_page , kcm_page->count );
 #endif