Symbol: vmm_translate_gpa