Entire pinned unix/linux/mem.rs: restricted mremap with actual zeroed reallocation semantics, not the common realloc callback's Uninit policy.

@[reducible, inline]

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

Equations

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

structure Miri.Interpreter.LinuxMemory.Hooks (S Place B I : Type) : Type

• memory : UnixMemory.Hooks Memory.Provenance S Place (MPlaceTy Memory.Provenance) B I
• reallocateZero : Memory.Pointer (Option Memory.Provenance) → ABI.Size → ABI.Size → ABI.Align → M S (Memory.Pointer (Option Memory.Provenance))

def Miri.Interpreter.LinuxMemory.remap {S Place B I : Type} (h : Hooks S Place B I) (address oldSize newSize flags : OpTy Memory.Provenance) (dest : MPlaceTy Memory.Provenance) : M S Unit

Equations

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