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