def AcpiFadt.build
bend-osdev-acpi@0.1.1.0 · fadt.bend:307
import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadt
import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/header.bend as H
307
308
309def AcpiFadt.build(f: AcpiFadt) -> B.Octets:
310 match f:
311 case AcpiFadt{H.AcpiHeader{s, l, r, c, o, t, orv, ci, cr}, core, x, sl, hv}:
312 H.AcpiSdt.build(H.AcpiHeader{B.Octets.of_string("FACP"), l, r, c, o, t, orv, ci, cr}, B.Octets.concat([fadt.enc.core(core), fadt.enc.ext(x), fadt.enc.sleep(sl), fadt.enc.hyp(hv)]))