type AcpiGiccAddrs

bend-osdev-acpi@0.1.1.0 · madt.bend:36

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

36# the GICC's addresses, grouped (bendlang/bend#1069: records of many W64s)
37type AcpiGiccAddrs is Data:
38  AcpiGiccAddrs{parked: W.W64, base: W.W64, gicv: W.W64, gich: W.W64, gicr: W.W64}