- command_print(cmd_ctx, "0x%8.8x -> 0x%8.8x, type: %s, cb: %i, domain: %i, ap: %2.2x",
- va, pa, armv4_5_mmu_page_type_names[type], cb, domain, ap);
+ command_print(cmd_ctx, "0x%8.8" PRIx32 " -> 0x%8.8" PRIx32 ", type: %s, cb: %i, domain: %d, ap: %2.2x",
+ va, pa, armv4_5_mmu_page_type_names[type], (int)cb, domain, (int)ap);