type AcpiLoadOptions
import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpiimport Base
import bend-osdev-acpi@0.1.1.0/registry.bend as R
92type AcpiLoadOptions is Data:
93 # use the XSDT when the RSDP has one (ACPI 6.5, 5.2.5.3: OSPM uses the
94 # XSDT if present); False reads the RSDT
95 AcpiLoadOptions{prefer_xsdt: Bool, registry: R.AcpiRegistry}