Can you use addr2line or gdb with 'list' command to give the line number matching amdgpu_vm_cpu_set_ptes+0x76/0xf0 ?