Documentation

Miri.Interpreter.AndroidForeign

Remaining Android aliases, reusing source off64_t signatures and actual FD/errno state. Existing lseek64/ftruncate64 and syscall/thread wrappers remain canonical; no Linux-only GNU/memory/signal wrapper is accepted on Android.

source
@[reducible, inline]
abbrev Miri.Interpreter.AndroidForeign.M (σ α : Type) :
Type
Equations
Instances For
    source
    def Miri.Interpreter.AndroidForeign.emulate {S Place H D O E HM Os B I : Type} (h : LinuxForeign.Hooks S Place H D O E HM Os 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.
    Instances For