Canonical compiler c_ulong layout and pid_t signature evidence for the source CPU affinity machine. Missing queries remain unresolved execution.
def
Miri.Input.CompilerCpuAffinity.hooks
{P S MD : Type}
(runtime : RuntimeMetadata)
(base : Interpreter.CpuAffinity.Hooks P S MD)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Input.CompilerCpuAffinity.dispatch
{P S D MD B I : Type}
(runtime : RuntimeMetadata)
(queries : CompilerNamedShimAbi.Prepared)
(base : Interpreter.CpuAffinityDispatch.Hooks P S D MD B I)
:
Interpreter.CpuAffinityDispatch.Hooks P S D MD B I
Equations
- One or more equations did not get rendered due to their size.