__get_dwarf_regnum_for_perf_regnum_x86_64
reg = __get_dwarf_regnum_for_perf_regnum_x86_64(perf_regnum);
int __get_dwarf_regnum_for_perf_regnum_x86_64(int perf_regnum);