def mem.try

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

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

58def mem.try(r: AcpiMemRegion, +addr: W.W64, +n: Nat) -> Maybe<&2, B.Octets>:
59  match r:
60    case AcpiMemRegion{+base, +o}:
61      mem.above(W.W64.is_le(base, addr), base, addr, n, o)