x64: movq_proc