Sarek_worklist
type 'a vector = 'a array
val (mod) : int32 -> int32 -> int32
val wl_ring_index : int32 -> int32 -> int32
Ring index of a monotonic ticket: ticket mod capacity. Callable from a %kernel as an array index.
ticket mod capacity
%kernel
val wl_has_work : int32 -> int32 -> bool
Whether the queue has an unclaimed item: head < tail.
head < tail
module Ctrl : sig ... end
Control-vector slot indices (host-side and documentation).
module Host : sig ... end
Host-side queue management and the level-synchronous driver.