27 #include <l4/cxx/utils> 32 L4::Type_info::Demand_t<1> >
38 Config_queue *queues()
const 42 T *device_config()
const 52 out_notify, in_notify, to);
60 out_notify, in_notify, to);
67 cxx::write_now(&cmd, command);
82 while (cxx::access_once(&cmd));
Timeout during receive operation.
Capability type for RPC interfaces (see L4::Cap<T>).
l4_timeout_t l4_timeout(l4_timeout_s snd, l4_timeout_s rcv) L4_NOTHROW
Combine send and receive timeout in a timeout.
Standard list of RPCs of an interface.
l4_umword_t l4_ipc_error(l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW
Get the error code for an object invocation.
l4virtio_config_queue_t * l4virtio_config_queues(l4virtio_config_hdr_t const *cfg)
Get the pointer to the first queue config.
Mark an argument as a output value in an RPC signature.
L4::Cap related definitions.
l4_msgtag_t trigger(l4_utcb_t *utcb=l4_utcb())
Trigger.
Object currently busy, try later.
void * l4virtio_device_config(l4virtio_config_hdr_t const *cfg)
Get the pointer to the device configuration.
Basic timeout specification.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
L4-VIRTIO config header, provided in shared data space.
l4_cap_idx_t cap() const
Return capability selector.
unsigned long l4_umword_t
Unsigned machine word.
#define L4_IPC_TIMEOUT_NEVER
never timeout
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
Queue configuration entry.
Helper class to create an L4Re interface class that is derived from a single base class...
l4_msgtag_t l4_ipc_receive(l4_cap_idx_t object, l4_utcb_t *utcb, l4_timeout_t timeout) L4_NOTHROW
Wait for a message from a specific source.
unsigned long long l4_uint64_t
Unsigned 64bit value.
L4-VIRTIO Transport C++ API.
#define L4_IPC_TIMEOUT_0
Timeout constants.
C++ interface for capabilities.