vcpu_ucontrol_translate
if (vcpu_ucontrol_translate(vcpu, &gaddr))
r = vcpu_ucontrol_translate(vcpu, &gaddr);