kdb_machreg_fmt    43 kernel/debug/kdb/kdb_private.h #define kdb_machreg_fmt		"0x%lx"
kdb_machreg_fmt    55 kernel/debug/kdb/kdb_private.h #define kdb_machreg_fmt		"0x%lx"