Exact modern Unix and legacy FreeBSD affinity shim wrappers.

@[reducible, inline]

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

Equations

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

structure Miri.Interpreter.CpuAffinityDispatch.Hooks (P S D MD B I : Type) : Type

• affinity : CpuAffinity.Hooks P S MD
• foreign : ForeignItems.Hooks P S D MD (Memory.Pointer (Option P)) B I
• expectedAbi : String → M S (ABI.FnAbi MIR.TyId)

  Exact shim_sig Cfn(libc::pid_t,usize,*_)->i32 for the requested name.

structure Miri.Interpreter.CpuAffinityDispatch.CoreHooks (P S D MD B I : Type) : Type

Source-call adapter over the already adapted common Core. The Unix source assembly has converted foreign destinations to MPlaceTy before reaching this dispatcher, while its original full Hooks record still uses RuntimePlace; requiring only Core avoids manufacturing unrelated callback arms merely to run the affinity shim.

• affinity : CpuAffinity.Hooks P S MD
• foreign : ForeignItems.Core P S D MD (Memory.Pointer (Option P)) B I
• expectedAbi : String → M S (ABI.FnAbi MIR.TyId)

def Miri.Interpreter.CpuAffinityDispatch.emulateCore {P S D MD B I : Type} (h : CoreHooks P S D MD B I) (name : String) (abi : ABI.FnAbi MIR.TyId) (args : Array (OpTy P)) (dest : MD) : M S (Option ForeignItems.EmulateItemResult)

Equations

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

def Miri.Interpreter.CpuAffinityDispatch.emulate {P S D MD B I : Type} (h : Hooks P S D MD B I) (name : String) (abi : ABI.FnAbi MIR.TyId) (args : Array (OpTy P)) (dest : MD) : M S (Option ForeignItems.EmulateItemResult)

Equations

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

def Miri.Interpreter.CpuAffinityDispatch.bind {P S D MD B I : Type} (h : Hooks P S D MD B I) : ForeignItems.Hooks P S D MD (Memory.Pointer (Option P)) B I

Equations

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