powerpc/booke: Fix some formatting errors in debug printfs

Use the right formats for the types given (vm_offset_t and vm_size_t are
both uint32_t on 32-bit platforms, and uint64_t on 64-bit platforms, and
match size_t in size, so we can use the size_t format as we do in other
similar code).

These were found by clang.

This commit is contained in:

Justin Hibbits

2019-12-04 03:51:30 +00:00

parent 3701dbc859

commit ad73d2ab3f

1 changed files with 2 additions and 2 deletions

									
										sys/powerpc/booke/pmap.c
									
		+2
		-2
	
												View File
												
				@@ -1622,8 +1622,8 @@ mmu_booke_bootstrap(mmu_t mmu, vm_offset_t start, vm_offset_t kernelend)

					/* Pre-round up to 1MB.  This wastes some space, but saves TLB entries */

					data_end = roundup2(data_end, 1 << 20);

					debugf(" data_end: 0x%"PRI0ptrX"\n", data_end);

					debugf(" kernstart: %p\n", kernstart);

					debugf(" kernsize: %lx\n", kernsize);

					debugf(" kernstart: %#zx\n", kernstart);

					debugf(" kernsize: %#zx\n", kernsize);

					if (data_end - kernstart > kernsize) {

						kernsize += tlb1_mapin_region(kernstart + kernsize,