Searched refs:device_open (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/virtio/host/
H A Dchannel_flounder.c25 static uint8_t device_open = 0x0; variable
83 VIRTIO_DEBUG_CHAN("Received device_open rpc call\n");
85 if (device_open) {
90 device_open = 0x1;
99 device_open = 0x0;
110 device_open = 0x0;

Completed in 80 milliseconds