kdb_bfd_vma_fmt0   46 kernel/debug/kdb/kdb_private.h #define kdb_bfd_vma_fmt0	"0x%08lx"
kdb_bfd_vma_fmt0   58 kernel/debug/kdb/kdb_private.h #define kdb_bfd_vma_fmt0	"0x%016lx"