law pkglength_4095

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

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

145law pkglength_4095:
146  {B.Octets.hex(K.AmlPkgLength.encode(4095)) == "4fff" : String}