def AcpiRawEntry.split

bend-osdev-acpi@0.1.1.0 · entries.bend:73

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

73# the structures in o, which starts at offset off of its table; AcpiBadEntry
74# names the first one whose length is below 2 or runs past the end
75def AcpiRawEntry.split(+o: B.Octets, +off: Nat) -> Result<&2, &2, E.AcpiError, List<&2, AcpiRawEntry>>:
76  ent.go(B.Octets.len(o), ent.next(o), o, off, Nil{})