L4Re - L4 Runtime Environment
|
Type of the device status register. More...
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. More... | |
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 . More... | |
acked_bfm_t::Val | acked () const |
Get the acked bits ( 0 to 0 ) of raw . More... | |
acked_bfm_t::Ref | acked () |
Get a reference to the acked bits ( 0 to 0 ) of raw . More... | |
typedef cxx::Bitfield< decltype(raw), 1, 1 > | driver_bfm_t |
Type to access the driver bits ( 1 to 1 ) of raw . More... | |
driver_bfm_t::Val | driver () const |
Get the driver bits ( 1 to 1 ) of raw . More... | |
driver_bfm_t::Ref | driver () |
Get a reference to the driver bits ( 1 to 1 ) of raw . More... | |
typedef cxx::Bitfield< decltype(raw), 2, 2 > | driver_ok_bfm_t |
Type to access the driver_ok bits ( 2 to 2 ) of raw . More... | |
driver_ok_bfm_t::Val | driver_ok () const |
Get the driver_ok bits ( 2 to 2 ) of raw . More... | |
driver_ok_bfm_t::Ref | driver_ok () |
Get a reference to the driver_ok bits ( 2 to 2 ) of raw . More... | |
typedef cxx::Bitfield< decltype(raw), 4, 4 > | feature_ok_bfm_t |
Type to access the feature_ok bits ( 4 to 4 ) of raw . More... | |
feature_ok_bfm_t::Val | feature_ok () const |
Get the feature_ok bits ( 4 to 4 ) of raw . More... | |
feature_ok_bfm_t::Ref | feature_ok () |
Get a reference to the feature_ok bits ( 4 to 4 ) of raw . More... | |
typedef cxx::Bitfield< decltype(raw), 7, 7 > | failed_bfm_t |
Type to access the failed bits ( 7 to 7 ) of raw . More... | |
failed_bfm_t::Val | failed () const |
Get the failed bits ( 7 to 7 ) of raw . More... | |
failed_bfm_t::Ref | failed () |
Get a reference to the failed bits ( 7 to 7 ) of raw . More... | |
typedef cxx::Bitfield<decltype( raw ), 0 , 0 > L4virtio::Svr::Dev_status::acked_bfm_t |
typedef cxx::Bitfield<decltype( raw ), 1 , 1 > L4virtio::Svr::Dev_status::driver_bfm_t |
typedef cxx::Bitfield<decltype( raw ), 2 , 2 > L4virtio::Svr::Dev_status::driver_ok_bfm_t |
typedef cxx::Bitfield<decltype( raw ), 7 , 7 > L4virtio::Svr::Dev_status::failed_bfm_t |
typedef cxx::Bitfield<decltype( raw ), 4 , 4 > L4virtio::Svr::Dev_status::feature_ok_bfm_t |
|
inline |
Get the acked bits ( 0 to 0 ) of raw .
Definition at line 51 of file virtio.
Referenced by L4virtio::Svr::Device_t< Ds_data >::mem_info().
|
inline |
|
inline |
|
inline |
Get the driver bits ( 1 to 1 ) of raw .
Definition at line 52 of file virtio.
Referenced by L4virtio::Svr::Device_t< Ds_data >::mem_info().
|
inline |
|
inline |
|
inline |
Get the failed bits ( 7 to 7 ) of raw .
Definition at line 55 of file virtio.
Referenced by L4virtio::Svr::Device_t< Ds_data >::handle_mem_cmd_write(), L4virtio::Svr::Device_t< Ds_data >::mem_info(), and L4virtio::Svr::Dev_config::set_failed().
|
inline |
|
inline |
|
inline |
|
inline |
Check if the device is in running state.
The device is in running state when acked(), driver(), feature_ok, and driver_ok() return true, and failed() returns false.
Definition at line 65 of file virtio.
Referenced by L4virtio::Svr::Device_t< Ds_data >::handle_mem_cmd_write().