Common Unix readv/writev/preadv/pwritev wrappers. Exactly one outer UnixForeign entry poll must already have run; this handler does not poll.

@[reducible, inline]

abbrev Miri.Interpreter.UnixVectoredDispatch.M (σ α : Type) : Type

Equations

• Miri.Interpreter.UnixVectoredDispatch.M = EStateM Miri.Interpreter.StepError

structure Miri.Interpreter.UnixVectoredDispatch.Hooks (S H D O E Meta Place B I : Type) : Type

• vector : UnixVectored.Hooks S H D O E Meta
• signatures : ShimSignatures.Hooks Memory.Provenance S Place (MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) B I
• signature : String → M S (ABI.FnAbi MIR.TyId)

def Miri.Interpreter.UnixVectoredDispatch.emulate {Place S H D O E Meta B I : Type} (h : Hooks S H D O E Meta Place B I) (name : String) (abi : ABI.FnAbi MIR.TyId) (args : Array (OpTy Memory.Provenance)) (dest : MPlaceTy Memory.Provenance) : M S (Option ForeignItems.EmulateItemResult)

Equations

• One or more equations did not get rendered due to their size.