~/jendhub

def fadt.enc.hyp

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

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

300def fadt.enc.hyp(m: Maybe<&2, W.W64>) -> B.Octets:
301  match m:
302    case None{}:
303      B.Octets.zeros(8n)
304    case Some{v}:
305      B.Octets.le64(v)

Uses (5)

Used by (1)