usbnet_rndsrc
rnd_add_uint32(usbnet_rndsrc(un), pkt_count);
rnd_add_uint32(usbnet_rndsrc(un), count);
krndsource_t *usbnet_rndsrc(struct usbnet *);