def AcpiRsdt.build

bend-osdev-acpi@0.1.1.0 · rsdt.bend:95

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/header.bend as H

95# the table (header from H.AcpiHeader.make or decoded; its signature is
96# replaced, its length and checksum computed). RSDT entries keep the low 32
97# bits of each address.
98def AcpiRsdt.build(h: H.AcpiHeader, xs: List<&2, W.W64>) -> B.Octets:
99  match h:
100    case H.AcpiHeader{s, l, r, c, o, t, orv, ci, cr}:
101      H.AcpiSdt.build(H.AcpiHeader{B.Octets.of_string("RSDT"), l, r, c, o, t, orv, ci, cr}, B.Octets.concat(sl.enc(xs, False{})))