law pkglength_63

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

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

138# PkgLength (20.2.4): the boundaries of the four forms
139law pkglength_63:
140  {B.Octets.hex(K.AmlPkgLength.encode(63)) == "3f" : String}