xen_hypercallv
return (xen_hypercallv(sc, op, argc, argv));
int xen_hypercallv(struct xen_softc *, int, int, ulong *);