def ex.listed
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
226def ex.listed() -> List<&2, W.W64>:
227 [ex.at64(ex.fadt()), ex.at64(ex.madt()), ex.at64(ex.hpet()), ex.at64(ex.mcfg()), ex.at64(ex.srat()), ex.at64(ex.slit()), ex.at64(ex.bgrt()), ex.at64(ex.ssdt())]