Rsdp.rs.build: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdp
Lines 139-144 of bend-osdev-acpi@0.1.1.0/rsdp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/rsdp.bend&start_line=139&end_line=144

import 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

def rs.build(m: Maybe<&2, AcpiRsdpExt>, +first: B.Octets) -> B.Octets:
  match m:
    case None{}:
      first
    case Some{AcpiRsdpExt{l, x}}:
      C.AcpiChecksum.fix(32n, B.Octets.concat([first, B.Octets.le32(36), B.Octets.le64(x), B.Octets.zeros(4n)]))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/checksum.bend&name=AcpiChecksum.fix
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/rsdp.bend&name=AcpiRsdpExt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.concat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.le32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.le64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.zeros