Connected portable and host machine.rs::new construction. Source resource creation is ordered, and all resulting handles live in the actual World.host.

@[reducible, inline]

abbrev Miri.Input.MachineConstruction.Host (Poll Instant System H D O Native Profiler : Type) : Type

Equations

• Miri.Input.MachineConstruction.Host = Miri.Input.HostRuntime.Storage

structure Miri.Input.MachineConstruction.Target : Type

• os : String
• noCore : Bool
• cpuCount : UInt32
• cUlongBytes : Nat
• endian : ABI.Endian

def Miri.Input.MachineConstruction.create {S Poll Instant System Native Profiler B Os R P H D O : Type} (h : HostRuntime.Hooks S Poll Instant System Native Profiler) (hostConfig : HostRuntime.Configuration) (target : Target) (config : InitialMachine.Configuration Interpreter.CpuAffinity.Mask B) (memory : Memory.MemoryState Memory.Provenance TreeBorrows.BorrowTree Memory.MiriMemoryKind) (types : RuntimeArrayTypes.World) (choices : Interpreter.ExecutionChoices.Tape) : EStateM Interpreter.StepError S (EvalWorld.State Os R P H D O Interpreter.CpuAffinity.Mask B (Host Poll Instant System H D O Native Profiler))

Equations

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