def rs.build
import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdpimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/checksum.bend as C
139def rs.build(m: Maybe<&2, AcpiRsdpExt>, +first: B.Octets) -> B.Octets:
140 match m:
141 case None{}:
142 first
143 case Some{AcpiRsdpExt{l, x}}:
144 C.AcpiChecksum.fix(32n, B.Octets.concat([first, B.Octets.le32(36), B.Octets.le64(x), B.Octets.zeros(4n)]))