Entire pinned NetBSD foreign_items.rs; no dynamic symbols are exposed.

@[reducible, inline]

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

Equations

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

def Miri.Interpreter.NetBsdForeign.dynamicSymbol (_name : String) : Bool

Equations

• Miri.Interpreter.NetBsdForeign.dynamicSymbol _name = false

structure Miri.Interpreter.NetBsdForeign.Hooks (S Os E Kind D B I : Type) : Type

• signatures : ShimSignatures.Hooks Memory.Provenance S D (MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) B I
• environment : UnixEnvironment.Hooks S Os E Kind
• signature : String → M S (ABI.FnAbi MIR.TyId)

structure Miri.Interpreter.NetBsdForeign.CoreHooks (S Os E Kind D B I : Type) : Type

Minimal source adapter for NetBSD's two fixed shims. It consumes the canonical nonrecursive foreign Core and source Unix environment directly; unrelated recursive dispatch hooks are not fabricated.

• foreign : ForeignItems.Core Memory.Provenance S D (MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) B I
• environment : UnixEnvironment.Hooks S Os E Kind
• signature : String → M S (ABI.FnAbi MIR.TyId)

def Miri.Interpreter.NetBsdForeign.emulateCore {S Os E Kind D B I : Type} (h : CoreHooks S Os E Kind D 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.

def Miri.Interpreter.NetBsdForeign.emulate {S Os E Kind D B I : Type} (h : Hooks S Os E Kind D 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.