kdb_bfd_vma_fmt0
kdb_bfd_vma_fmt0 "\n", template.bp_addr);
kdb_printf("%5d " kdb_bfd_vma_fmt0 " - unable to "