Source/Packages

Runtime.NativeFileStatus

packages/execution/src/Runtime/NativeFileStatus.alpha

11 lines1 declarations0.5 KiBSHA-256 1bd5ddfefc46

def · lines 10–11

nativeFileStatusScratchBytes

Full file
Scratch contract for Linux fstat on the maintained x86-64 and AArch64 host ABIs. The request host reserves this extent and reads st_size at 48; recorder setup only checks the syscall result. Neither caller treats unused bytes as observed fields. A new host ABI must establish its own translation before using this contract, just as it must establish the fstat syscall map.
10def nativeFileStatusScratchBytes : Nat =
11  160

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.