the zeros that carry header + machine code to the next page
186def elfPagePadding =
187 (lambda unrestricted machineCode : Bytes .
188 (elfZerosBelowPage
189 (naturalModuloUnchecked
190 (naturalSaturatingSubtract elfPageBytes
191 (naturalModuloUnchecked (naturalAdd (byte-to-nat (byte 120)) (bytes-length machineCode)) elfPageBytes))
192 elfPageBytes)))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.