Lines Matching defs:device
38 // get the Virtio device from our parent's parent
144 VirtioRNGDevice* device = (VirtioRNGDevice*)driverCookie;
146 while (device->fVirtio->queue_dequeue(device->fVirtioQueue, NULL, NULL))
149 device->_RequestInterrupt();
164 VirtioRNGDevice* device = reinterpret_cast<VirtioRNGDevice*>(timer->user_data);
166 gDPC->queue_dpc(device->fDPCHandle, HandleDPC, device);
174 VirtioRNGDevice* device = reinterpret_cast<VirtioRNGDevice*>(arg);
175 device->_Enqueue();