def mcfg.enc
import bend-osdev-acpi@0.1.1.0/mcfg.bend as Mcfgimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
92def mcfg.enc(es: List<&2, AcpiMcfgEntry>) -> List<&2, B.Octets>:
93 match es:
94 case Nil{}:
95 Nil{}
96 case Con{AcpiMcfgEntry{b, s, lo, hi}, t}:
97 Con{B.Octets.concat([B.Octets.le64(b), B.Octets.le16(s), B.Octets.of_list([lo, hi]), B.Octets.zeros(4n)]), mcfg.enc(t)}