pkg syscall (darwin-arm64), type Statfs_t struct, Bsize uint32
pkg syscall (darwin-arm64), type Statfs_t struct, Ffree uint64
pkg syscall (darwin-arm64), type Statfs_t struct, Files uint64
pkg syscall (darwin-arm64), type Statfs_t struct, Flags uint32
pkg syscall (darwin-arm64), type Statfs_t struct, Fsid Fsid
pkg syscall (darwin-arm64), type Statfs_t struct, Fssubtype uint32

pkg syscall (freebsd-386-cgo), type Statfs_t struct, Charspare [80]int8
pkg syscall (freebsd-386-cgo), type Statfs_t struct, Ffree int64
pkg syscall (freebsd-386-cgo), type Statfs_t struct, Files uint64
pkg syscall (freebsd-386-cgo), type Statfs_t struct, Flags uint64
pkg syscall (freebsd-386-cgo), type Statfs_t struct, Fsid Fsid
pkg syscall (freebsd-386-cgo), type Statfs_t struct, Fstypename [16]int8

pkg syscall (freebsd-riscv64), type Statfs_t struct, Charspare [80]int8 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Ffree int64 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Files uint64 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Flags uint64 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Fsid Fsid #53466

algorithm described in the Handbook of // Applied Cryptography, Algorithm 14.61, adapted by BoringSSL to bound // coefficients and avoid negative numbers. For more details and proof of // correctness, see https://github.com/mit-plv/fiat-crypto/pull/333/files. // // Following the proof linked in the PR above, the changes are: // // 1. Negate [B] and [C] so they are positive. The invariant now involves a // subtraction. // 2. If step 2 (both [x] and [y] are even) runs, abort immediately. This // case needs...