def fadt.hyp

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

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/fields.bend as F

80def fadt.hyp(has: Bool, +o: B.Octets) -> Maybe<&2, W.W64>:
81  match has:
82    case False{}:
83      None{}
84    case True{}:
85      Some{F.AcpiF.u64(o, 268n)}