kdb_machreg_fmt0   44 kernel/debug/kdb/kdb_private.h #define kdb_machreg_fmt0	"0x%08lx"
kdb_machreg_fmt0   56 kernel/debug/kdb/kdb_private.h #define kdb_machreg_fmt0	"0x%016lx"