Symbol: mdb_isa_printregs