1module Runtime.NativeFileStatus
2
3import Std.Natural
4
5-- Scratch contract for Linux fstat on the maintained x86-64 and AArch64
6-- host ABIs. The request host reserves this extent and reads st_size at 48;
7-- recorder setup only checks the syscall result. Neither caller treats unused
8-- bytes as observed fields. A new host ABI must establish its own translation
9-- before using this contract, just as it must establish the fstat syscall map.
10def nativeFileStatusScratchBytes : Nat =
11 160The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.