Struct SyscallCtx 

pub struct SyscallCtx<'a> {
    pub serialize_queue: &'a mut SerializeQueue,
    pub hold_table: &'a mut HoldTable,
    pub record_buffer: &'a mut RecordBuffer,
    pub event_source: &'a mut EventSource,
    pub counters: &'a mut HashMap<String, u64>,
    pub any_fired_groups: &'a mut HashSet<String>,
    pub deadline_match_fired: &'a mut HashSet<(u64, u64)>,
    pub rng: &'a mut dyn RngU64Source,
    pub pending_app_events: &'a mut Vec<AppEvent>,
}

Syscall-side state (storage, RNG, latches, app-event drain).

Fields

serialize_queue: &'a mut SerializeQueue

Named-FIFO map for Serialize.Enqueue / Dequeue.

hold_table: &'a mut HoldTable

Named-slot value buffer for Hold.Stash / Flush.

record_buffer: &'a mut RecordBuffer

Per-name bounded ring buffer for Record.

event_source: &'a mut EventSource

Registered EventKind → ComponentTag subscriptions.

counters: &'a mut HashMap<String, u64>

Per-Node counters bumped by IncrMetric.

any_fired_groups: &'a mut HashSet<String>

Per-group first-arrival latch for the Any syscall.

deadline_match_fired: &'a mut HashSet<(u64, u64)>

Per-(OpRef, ExecId) latch for the DeadlineMatch syscall.

rng: &'a mut dyn RngU64Source

u64 RNG source for the RngU64 syscall.

pending_app_events: &'a mut Vec<AppEvent>

App events pending emission on the next poll’s outbound drain.