def AcpiTables.read_table

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

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

117def AcpiTables.read_table(~M: Data, ~read: M -> W.W64 -> Nat -> Result<&2, &2, E.AcpiError, B.Octets>, +m: M, +addr: W.W64) -> Result<&2, &2, E.AcpiError, B.Octets>:
118  do Result<&2, &2, E.AcpiError, B.Octets>:
119    head : B.Octets <- read(m, addr, 8n)
120    ld.whole(~M, ~read, m, addr, head)