Symbol: kvm_xen_write_hypercall_page