IpcEventBinding

import { IpcEventBinding } from "destack:ipc/binding";

Event binding family.

export interface IpcEventBinding {
    createEventCounter(initial: uint64, flags: EventCounterFlags): Result<EventCounterHandle, HostError>;
    closeEventCounter(event: EventCounterHandle): Result<void, HostError>;
    readEventCounter(event: EventCounterHandle): Result<uint64, HostError>;
    writeEventCounter(event: EventCounterHandle, value: uint64): Result<void, HostError>;
}
language/library/src/ipc/binding/event.ds:17:56

Members

createEventCounter(initial: uint64, flags: EventCounterFlags): Result<EventCounterHandle, HostError>

Create one Linux event counter.

closeEventCounter(event: EventCounterHandle): Result<void, HostError>

Close one event counter handle.

readEventCounter(event: EventCounterHandle): Result<uint64, HostError>

Read one event counter value.

writeEventCounter(event: EventCounterHandle, value: uint64): Result<void, HostError>

Add one value to an event counter.