kvm_write_guest_virt_system
r = kvm_write_guest_virt_system(vcpu, gva, &value, len, &e);
r = kvm_write_guest_virt_system(vcpu, gva, (void *)¤t_vmptr,
EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_write_guest_virt_system);
int kvm_write_guest_virt_system(struct kvm_vcpu *vcpu,