mprotect(R14, R10, protection); any error refuses
3449def npProtectUnpacked =
3450 (lambda unrestricted protection : Nat .
3451 (lambda unrestricted tail : (family X86NativeAssembly) .
3452 (npImmediate npRAX 10
3453 (npMove npRDI npR14
3454 (npMove npRSI npR10
3455 (npImmediate npRDX protection
3456 (nativePhysicalNativeEmit
3457 nativePhysicalNativeSystemCallInstruction
3458 (npTest npRAX
3459 (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.