law pkglength_4096

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

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

148law pkglength_4096:
149  {B.Octets.hex(K.AmlPkgLength.encode(4096)) == "800001" : String}