![]() |
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. | |
| typedef cxx::Bitfield< decltype(raw), 0, 0 > | acked_bfm_t |
| Type to access the acked bits (0 to 0) of raw. | |
| constexpr acked_bfm_t::Val | acked () const |
| Get the acked bits (0 to 0) of raw. | |
| constexpr acked_bfm_t::Ref | acked () |
| Get a reference to the acked bits (0 to 0) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 1, 1 > | driver_bfm_t |
| Type to access the driver bits (1 to 1) of raw. | |
| constexpr driver_bfm_t::Val | driver () const |
| Get the driver bits (1 to 1) of raw. | |
| constexpr driver_bfm_t::Ref | driver () |
| Get a reference to the driver bits (1 to 1) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 2, 2 > | driver_ok_bfm_t |
| Type to access the driver_ok bits (2 to 2) of raw. | |
| constexpr driver_ok_bfm_t::Val | driver_ok () const |
| Get the driver_ok bits (2 to 2) of raw. | |
| constexpr driver_ok_bfm_t::Ref | driver_ok () |
| Get a reference to the driver_ok bits (2 to 2) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 3, 3 > | features_ok_bfm_t |
| Type to access the features_ok bits (3 to 3) of raw. | |
| constexpr features_ok_bfm_t::Val | features_ok () const |
| Get the features_ok bits (3 to 3) of raw. | |
| constexpr features_ok_bfm_t::Ref | features_ok () |
| Get a reference to the features_ok bits (3 to 3) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 6, 7 > | fail_state_bfm_t |
| Type to access the fail_state bits (6 to 7) of raw. | |
| constexpr fail_state_bfm_t::Val | fail_state () const |
| Get the fail_state bits (6 to 7) of raw. | |
| constexpr fail_state_bfm_t::Ref | fail_state () |
| Get a reference to the fail_state bits (6 to 7) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 6, 6 > | device_needs_reset_bfm_t |
| Type to access the device_needs_reset bits (6 to 6) of raw. | |
| constexpr device_needs_reset_bfm_t::Val | device_needs_reset () const |
| Get the device_needs_reset bits (6 to 6) of raw. | |
| constexpr device_needs_reset_bfm_t::Ref | device_needs_reset () |
| Get a reference to the device_needs_reset bits (6 to 6) of raw. | |
| typedef cxx::Bitfield< decltype(raw), 7, 7 > | failed_bfm_t |
| Type to access the failed bits (7 to 7) of raw. | |
| constexpr failed_bfm_t::Val | failed () const |
| Get the failed bits (7 to 7) of raw. | |
| constexpr failed_bfm_t::Ref | failed () |
| Get a reference to the failed bits (7 to 7) of raw. | |
|
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.