Fix LINT.

Obtained from:	Juniper Networks, Inc.
This commit is contained in:
marcel 2012-07-05 15:23:45 +00:00
parent 6f8105b9e4
commit ae58a8f50f

View File

@ -498,7 +498,7 @@ initarm(struct arm_boot_params *abp)
physmem = memsize / PAGE_SIZE;
debugf("initarm: console initialized\n");
debugf(" arg1 mdp = 0x%08x\n", (uint32_t)mdp);
debugf(" arg1 kmdp = 0x%08x\n", (uint32_t)kmdp);
debugf(" boothowto = 0x%08x\n", boothowto);
printf(" dtbp = 0x%08x\n", (uint32_t)dtbp);
print_kernel_section_addr();