AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,420 lines207 declarations187.4 KiBSHA-256 9c16b0741974
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 3224–3234

npProtectUnpacked

Full file
mprotect(R14, R10, protection); any error refuses
3224def npProtectUnpacked =
3225  (lambda unrestricted protection : Nat .
3226    (lambda unrestricted tail : (family X86NativeAssembly) .
3227      (npImmediate npRAX 10
3228        (npMove npRDI npR14
3229          (npMove npRSI npR10
3230            (npImmediate npRDX protection
3231              (nativePhysicalNativeEmit
3232                nativePhysicalNativeSystemCallInstruction
3233                (npTest npRAX
3234                  (npJumpIf npNotZero nativePhysicalNativeLabelFatalUnpack tail)))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.