VM_GLA2GPA_NOFAULT
{ (uint_t)VM_GLA2GPA_NOFAULT, "VM_GLA2GPA_NOFAULT", NULL },
error = vcpu_ioctl(vcpu, VM_GLA2GPA_NOFAULT, &gg);
VM_GLA2GPA_NOFAULT,
case VM_GLA2GPA_NOFAULT: {
case VM_GLA2GPA_NOFAULT: