Module Ring.ReverseSource

Parameters

module RW : RW

Signature

Sourceval get_ring_input : Cstruct.t -> Cstruct.t

A bi-directional pipe where 'input' and 'output' are from the frontend's (i.e. the guest's) point of view

Sourceval get_ring_input_cons : Cstruct.t -> int32
Sourceval get_ring_input_prod : Cstruct.t -> int32
Sourceval set_ring_input_cons : Cstruct.t -> int32 -> unit
Sourceval set_ring_input_prod : Cstruct.t -> int32 -> unit
Sourceval get_ring_output : Cstruct.t -> Cstruct.t
Sourceval get_ring_output_cons : Cstruct.t -> int32
Sourceval get_ring_output_prod : Cstruct.t -> int32
Sourceval set_ring_output_cons : Cstruct.t -> int32 -> unit
Sourceval set_ring_output_prod : Cstruct.t -> int32 -> unit