Linux and Android foreign_items.rs syscall/prctl entry arms. The signature checker in LinuxSyscall owns symbol-clash and ABI checks in source order.

@[reducible, inline]

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

Equations

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

def Miri.Interpreter.LinuxSyscallDispatch.emulate {S R F D B I : Type} (h : LinuxSyscall.Hooks S R F 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.LinuxSyscallDispatch.bind {S R F D B I : Type} (h : LinuxSyscall.Hooks S R F D B I) : ForeignItems.Hooks Memory.Provenance S D (MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) B I

Equations

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