__get_dwarf_regnum_i386
reg = __get_dwarf_regnum_i386(name);
int __get_dwarf_regnum_i386(const char *name);