~/jendhub

def AcpiMemImage.read

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

import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpi
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

83# (plain parameters, so that it fits the template type ~read)
84def AcpiMemImage.read(m: AcpiMemImage, addr: W.W64, n: Nat) -> Result<&2, &2, E.AcpiError, B.Octets>:
85  mem.read(m, addr, n)

Uses (7)

Used by (1)