Symbol: xen_hypercallv