~/jendhub

def AmlPkgLength.size_for

bend-osdev-acpi@0.1.1.0 · aml_pkglength.bend:163

import bend-osdev-acpi@0.1.1.0/aml_pkglength.bend as AmlPkglength
import Base

163# the size of the PkgLength that covers a package whose contents (after
164# the PkgLength) are n bytes
165def AmlPkgLength.size_for(+n: Nat) -> Nat:
166  pk.size.pick(Nat.is_lt(n, 63n), Nat.is_lt(n, 4094n), Nat.is_lt(n, 1048573n))

Uses (3)

Used by (1)