def fadt.ext

bend-osdev-acpi@0.1.1.0 · fadt.bend:66

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

66def fadt.ext(has: Bool, +o: B.Octets) -> Maybe<&2, AcpiFadtExt>:
67  match has:
68    case False{}:
69      None{}
70    case True{}:
71      Some{AcpiFadtExt{G.AcpiGas.at(o, 116n), F.AcpiF.u8(o, 128n), F.AcpiF.u16(o, 129n), F.AcpiF.u8(o, 131n), F.AcpiF.u64(o, 132n), F.AcpiF.u64(o, 140n), fadt.x(o)}}