Symbol: __get_dwarf_regnum_x86_64