~/jendhub

def AcpiMadtEntry.of_raw

bend-osdev-acpi@0.1.1.0 · madt.bend:162

import bend-osdev-acpi@0.1.1.0/madt.bend as Madt
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
import bend-osdev-acpi@0.1.1.0/entries.bend as N

162def AcpiMadtEntry.of_raw(e: N.AcpiRawEntry) -> Result<&2, &2, E.AcpiError, AcpiMadtEntry>:
163  match e:
164    case N.AcpiRawEntry{+k, off, +d}:
165      madt.entry.pick(Nat.is_le(madt.min(k), B.Octets.len(d)), k, off, d)

Uses (8)

Used by (1)