def mem.done

bend-osdev-acpi@0.1.1.0 · acpi.bend:70

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E

70def mem.done(m: Maybe<&2, B.Octets>, +addr: W.W64) -> Result<&2, &2, E.AcpiError, B.Octets>:
71  match m:
72    case None{}:
73      Fail{E.AcpiNotMapped{addr}}
74    case Some{o}:
75      Done{o}