def acpilaw.low32

bend-osdev-acpi@0.1.1.0 · LAWS_tables.bend:111

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

111# the low 32 bits of each address, as a W64 (what an RSDT entry holds)
112def acpilaw.low32(xs: List<&2, W.W64>) -> List<&2, W.W64>:
113  match xs:
114    case Nil{}:
115      Nil{}
116    case Con{x, t}:
117      Con{W.W64.from_u32(W.W64.lo(x)), acpilaw.low32(t)}