def ex.io
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/gas.bend as G
193def ex.io(+port: U32, +len: U32) -> G.AcpiGas:
194 G.AcpiGas{1, U32.mul(len, 8), 0, 0, W.W64.from_u32(port)}