AmlDevice.AmlPrtEntry: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_device.bend as AmlDevice
Lines 100-105 of bend-osdev-acpi@0.1.1.0/aml_device.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_device.bend&start_line=100&end_line=105

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

# _PRT entries (6.2.13): the device's address (high word: device, low word:
# 0xFFFF for any function), the PCI pin (0 INTA to 3 INTD), and the source:
# the path of a link device and its index, or an empty path and the global
# system interrupt in index
type AmlPrtEntry is Data:
  AmlPrtEntry{address: W.W64, pin: U32, source: String, index: U32}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64