//! User-space IPC helpers. The kernel's synchronous IPC syscalls
//! (create_endpoint, ipc_register/lookup, ipc_call, ipc_reply_wait) arrive in a
//! later milestone; this reserves the module boundary now so drivers and servers
//! can be written against `rt.ipc` without restructuring once they light up.

/// A fixed-size, register-friendly message payload. The wire format for the VFS
/// and driver protocols is layered on top of this by the servers themselves.
pub const Message = extern struct {
    tag: u64 = 0,
    a: u64 = 0,
    b: u64 = 0,
    c: u64 = 0,
};

// call() / replyWait() / createEndpoint() land with the kernel IPC syscalls.