Close vectored IO on the actual EvalWorld type interner, pointer state, Stack allocator and deallocation lifecycle. No standalone temporary-memory model or invented iovec field/type identity is supplied by the caller.

@[reducible, inline]

abbrev Miri.Input.EvalVectoredMachine.User (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalVectoredMachine.User = Miri.Input.EvalCoreMachine.User

@[reducible, inline]

abbrev Miri.Input.EvalVectoredMachine.State (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalVectoredMachine.State = Miri.Input.EvalCoreMachine.State

def Miri.Input.EvalVectoredMachine.hooks {Os R P H D O Aff B WorldHost C X ClockHost E Meta : Type} (runtime : RuntimeMetadata) (config : Interpreter.ExecutionMachine.Config Memory.MiriMemoryKind (User Os R P H D O Aff B WorldHost) C O X ClockHost) (choice : C) (spans : Interpreter.AllocationDriver.SpanHooks) (pointers : Interpreter.PointerMachine.Hooks Memory.MiriMemoryKind (Interpreter.ValidityMachine.Control (Interpreter.ThreadStacks.Storage (EvalWorld.World Os R P H D O Aff B WorldHost)))) (extras : Interpreter.MemoryExtras.Hooks Memory.MiriMemoryKind (User Os R P H D O Aff B WorldHost) P) (deallocation : Interpreter.AllocationMachine.DeallocationHooks Memory.MiriMemoryKind (User Os R P H D O Aff B WorldHost) P) (base : Interpreter.UnixVectored.Hooks (State Os R P H D O Aff B WorldHost) H D O E Meta) : Interpreter.UnixVectored.Hooks (State Os R P H D O Aff B WorldHost) H D O E Meta

Equations

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