def
Miri.Interpreter.WindowsPlatformMachine.bindMemory
{U Payload O E K F : Type}
(allocation :
Memory.MiriMemoryKind →
PointerMachine.M Memory.MiriMemoryKind U (ReallocationDriver.Hooks Memory.MiriMemoryKind U Payload))
(driver : AllocationDriver.Hooks Memory.MiriMemoryKind U Payload)
(access : PlaceMachine.AccessConfig Memory.MiriMemoryKind (PointerMachine.User U))
(choices : Memory.AllocAddresses.AddressRandomChoices)
(reuse : Bool)
(base : WindowsPlatform.Hooks (PointerMachine.State Memory.MiriMemoryKind U) O E K F)
:
Actual allocation identity, initialization, copy and deallocation policies. The supplied allocation configuration must use the requested source kind.
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Interpreter.WindowsPlatformMachine.bindSymbols
{K U Other O E Kind F : Type}
(functions : FunctionPointers.Hooks K U Other)
(embed : WindowsPlatform.DynamicSymbol → Other)
(base : WindowsPlatform.Hooks (MachineHooks.State K U) O E Kind F)
:
WindowsPlatform.Hooks (MachineHooks.State K U) O E Kind F
Reuse the canonical extra-function registry and actual root-tag/address path. Other may embed platform dynamic symbols alongside other machine values.
Equations
- One or more equations did not get rendered due to their size.