kdb_bfd_vma_fmt0  340 kernel/debug/kdb/kdb_bp.c 				   kdb_bfd_vma_fmt0 "\n", template.bp_addr);
kdb_bfd_vma_fmt0 2613 kernel/debug/kdb/kdb_main.c 			kdb_printf("%5d " kdb_bfd_vma_fmt0 " - unable to "