def mem.read

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

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

77# n bytes at a physical address, from the first region holding all of them
78def mem.read(m: AcpiMemImage, +addr: W.W64, +n: Nat) -> Result<&2, &2, E.AcpiError, B.Octets>:
79  match m:
80    case AcpiMemImage{rs}:
81      mem.done(mem.find(rs, addr, n), addr)