law pkglength_max

bend-osdev-acpi@0.1.1.0 · LAWS.bend:151

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/aml_pkglength.bend as K

151law pkglength_max:
152  {B.Octets.hex(K.AmlPkgLength.encode(268435455)) == "cfffffff" : String}