hvn_rndis_input
hvn_rndis_input(sc, cph->cph_tid, cph);
void hvn_rndis_input(struct hvn_softc *, uint64_t, void *);