kdb_machreg_fmt0
kdb_printf("phys " kdb_machreg_fmt0 " ", addr);
kdb_printf(kdb_machreg_fmt0 " ", addr);
kdb_printf(kdb_machreg_fmt0 "-" kdb_machreg_fmt0
kdb_printf(kdb_machreg_fmt0, addr);