def AcpiGas.io_block

bend-osdev-acpi@0.1.1.0 · gas.bend:65

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

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