def hd.d7
bend-osdev-acpi@0.1.1.0 · header.bend:118
import bend-osdev-acpi@0.1.1.0/header.bend as Header
import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
118def hd.d7(m: Maybe<&2, B.OctetsSplit>, +all: B.Octets, s: B.Octets, l: U32, r: U32, c: U32, o: B.Octets, t: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiHeader>:
119 match m:
120 case None{}:
121 Fail{hd.short(all)}
122 case Some{B.OctetsSplit{f, rest}}:
123 hd.d8(B.Octets.split_at(4n, rest), all, s, l, r, c, o, t, hd.u32(f))