Gas.AcpiGas.io_block: def of bend-osdev-acpi@0.1.2.0
Import: import bend-osdev-acpi@0.1.2.0/gas.bend as Gas
Lines 65-68 of bend-osdev-acpi@0.1.2.0/gas.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.2.0/gas.bend&start_line=65&end_line=68

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

# a system I/O register block at a 32-bit port address, n bytes long (how
# the FADT's ACPI 1.0 block fields are read as Generic Addresses)
def AcpiGas.io_block(port: U32, n: U32) -> AcpiGas:
  AcpiGas{1, U32.and(255, U32.mul(n, 8)), 0, 0, W.W64.from_u32(port)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/gas.bend&name=AcpiGas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.from_u32