64-bit fixes for kernel with KDEBUG_LEVEL = 0

Signed-off-by: Alex Smith <[email protected]>

src/system/kernel/locks/lock.cpp

@@ -891,7 +891,7 @@ dump_mutex_info(int argc, char** argv)
 #if KDEBUG
 	kprintf("  holder:          %" B_PRId32 "\n", lock->holder);
 #else
-	kprintf("  count:           %ld\n", lock->count);
+	kprintf("  count:           %" B_PRId32 "\n", lock->count);
 #endif
 
 	kprintf("  waiting threads:");

src/system/kernel/sem.cpp

@@ -209,7 +209,7 @@ dump_sem(struct sem_entry* sem)
 		else
 			unset_debug_variable("_releaser");
 #else
-		kprintf("last acquired by: %ld\n", sem->u.used.last_acquirer);
+		kprintf("last acquired by: %" B_PRId32 "\n", sem->u.used.last_acquirer);
 #endif
 
 		if (sem->u.used.last_acquirer != 0)