def AcpiSratEntry.of_raw

bend-osdev-acpi@0.1.1.0 · srat.bend:92

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

92def AcpiSratEntry.of_raw(e: N.AcpiRawEntry) -> Result<&2, &2, E.AcpiError, AcpiSratEntry>:
93  match e:
94    case N.AcpiRawEntry{+k, off, +d}:
95      srat.entry.pick(Nat.is_le(srat.min(U32.to_nat(k)), B.Octets.len(d)), k, off, d)