def AcpiGas.at

bend-osdev-acpi@0.1.1.0 · gas.bend:39

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/fields.bend as F

39# the structure at offset i of o
40def AcpiGas.at(+o: B.Octets, +i: Nat) -> AcpiGas:
41  AcpiGas{F.AcpiF.u8(o, i), F.AcpiF.u8(o, Nat.add(i, 1n)), F.AcpiF.u8(o, Nat.add(i, 2n)), F.AcpiF.u8(o, Nat.add(i, 3n)), F.AcpiF.u64(o, Nat.add(i, 4n))}