def fadt.pick64

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

225def fadt.pick64(nz: Bool, +x: W.W64, lo: U32) -> W.W64:
226  match nz:
227    case True{}:
228      x
229    case False{}:
230      W.W64.from_u32(lo)