Hash a runtime-length byte string in an admitted writable buffer. RDI is
the input followed by two writable SHA blocks; RSI is a u32 byte count;
RDX and R9 retain the block routine's output and work-area arguments. Only
the suffix is changed. Two blocks cover the longest SHA padding, including
the length word. This entry point admits Linux user pointers, rejects error
pointers and oversized lengths before touching memory, and returns zero on
refusal. Allocation, extent and disjointness remain the caller's contract.
Padding uses caller-saved R10: RBX belongs to the native host result-slot
table and must reach the block routine unchanged so its save/restore works.
The compression equations have one owner in WordDigest; this adds padding,
never a second hash implementation or a dependency on kernel crypto policy.
280def nativeByteDigestPaddingBytes : Nat =
281 byteDigestPaddingBytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.