L4Re Operating System Framework
Interface and Usage Documentation
|
Type of the device status register. More...
#include <virtio>
Public Member Functions | |
Dev_status (l4_uint32_t v) | |
Make Status from raw value. | |
bool | running () const |
Check if the device is in running state. | |
Data Fields | |
unsigned char | raw |
Raw value of the VIRTIO device status register. | |
|
inline |
Check if the device is in running state.
The device is in running state when acked(), driver(), features_ok(), and driver_ok() return true, and device_needs_reset() and failed() return false.
Definition at line 57 of file virtio.
References raw.