kvm_xen_write_hypercall_page
return kvm_xen_write_hypercall_page(vcpu, data);
int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data);