def AcpiTables.read_rsdp

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

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

132def AcpiTables.read_rsdp(~M: Data, ~read: M -> W.W64 -> Nat -> Result<&2, &2, E.AcpiError, B.Octets>, +m: M, +addr: W.W64) -> Result<&2, &2, E.AcpiError, P.AcpiRsdp>:
133  do Result<&2, &2, E.AcpiError, P.AcpiRsdp>:
134    head : B.Octets <- read(m, addr, 20n)
135    o : B.Octets <- read(m, addr, ld.rsdp.len(head))
136    P.AcpiRsdp.parse(o)