def fadt.sleep

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

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/gas.bend as G

73def fadt.sleep(has: Bool, +o: B.Octets) -> Maybe<&2, AcpiFadtSleep>:
74  match has:
75    case False{}:
76      None{}
77    case True{}:
78      Some{AcpiFadtSleep{G.AcpiGas.at(o, 244n), G.AcpiGas.at(o, 256n)}}