Exact common Unix pthread-key and atfork signature/type queries. Source function-pointer wildcards are compiler shim recipes, never guessed C ABIs.

def Miri.Input.CompilerUnixTls.signature {S : Type} (prepared : CompilerNamedShimAbi.Prepared) (name : String) : EStateM Interpreter.StepError S (ABI.FnAbi MIR.TyId)

Equations

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

def Miri.Input.CompilerUnixTls.keyLayout {S : Type} (runtime : RuntimeMetadata) : EStateM Interpreter.StepError S Interpreter.LocalLayout

Equations

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

def Miri.Input.CompilerUnixTls.hooks {S D B I : Type} (runtime : RuntimeMetadata) (prepared : CompilerNamedShimAbi.Prepared) (base : Interpreter.UnixTlsDispatch.Hooks S D B I) : Interpreter.UnixTlsDispatch.Hooks S D B I

Equations

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