bend-osdev-acpi
Releases (3)
-
0.1.2.0 invalid
expected a package named bend-osdev-word64@0.1.1.1 on https://hub.bend-lang.com
44 files do not load
- LAWS.bend
- LAWS_checksum.bend
- LAWS_rsdp.bend
- LAWS_tables.bend
- LAWS_whole.bend
- PROOF.bend
- PROOF_checksum.bend
- PROOF_rsdp.bend
- PROOF_tables.bend
- PROOF_whole.bend
- acpi.bend
- aml.bend
- aml_device.bend
- aml_field.bend
- aml_host.bend
- aml_interp.bend
- aml_name.bend
- aml_ns.bend
- aml_pkglength.bend
- aml_resource.bend
- aml_term.bend
- aml_value.bend
- bgrt.bend
- check.bend
- checksum.bend
- dsdt.bend
- entries.bend
- error.bend
- example.bend
- facs.bend
- fadt.bend
- fields.bend
- gas.bend
- header.bend
- hpet.bend
- madt.bend
- mcfg.bend
- package.bend
- registry.bend
- rsdp.bend
- rsdt.bend
- show.bend
- slit.bend
- srat.bend
-
0.1.1.0 indexed
-
0.1.0.0 unindexed
Definitions (1,637)
acpi.bend
- type AcpiMemRegion
- type AcpiMemImage
- def mem.slice
- def mem.nearthe offset into the region is computed only once it is known to be small (a Nat holds at most 2^48 - 1 at run time)
- def mem.above
- def mem.try
- def mem.find
- def mem.done
- def mem.readn bytes at a physical address, from the first region holding all of them
- def AcpiMemImage.read(plain parameters, so that it fits the template type ~read)
- def AcpiMemImage.of_list
- type AcpiLoadOptions
- def AcpiLoadOptions.default
- type AcpiLoadeda table, by the address it was read from; a table that fails to read does not stop the others
- type AcpiTableSet
- def ld.wholethe table at a physical address: its length from its header, then all of its bytes
- def AcpiTables.read_table
- def ld.rsdp.pick
- def ld.rsdp.len
- def AcpiTables.read_rsdp
- def ld.root.parse
- def ld.root
- def ld.one
- def ld.all
- def ld.fadtthe FADT among the tables read
- def ld.nz.pick
- def ld.nz
- def ld.list
- def ld.dsdt
- def ld.facs.at
- def ld.facs
- def ld.use_x
- def ld.root_addr
- def ld.finish
- def ld.opts
- def ld.reg
- def AcpiTables.load_withevery table of the machine whose RSDP is at rsdp_addr: the RSDP, the RSDT or XSDT (Fail if either cannot be read), then each table it lists, the DSDT (from the FADT) and the FACS, each read and parsed on its own
- def AcpiTables.load
- def AcpiTableSet.tables
- def ld.find.pick
- def ld.find
- def AcpiTableSet.findthe first table read whose parser's name (R.AcpiTable.name: the signature) is name
aml.bend
- type AmlSystem
- type AmlOutcome
- def AmlOutcome.result
- def AmlOutcome.steps
- def AmlOutcome.ns
- def AmlOutcome.host
- def AmlOutcome.notes
- def AmlOutcome.debug
- def AmlSystem.newa system with the initial namespace (\_SB_, \_OSI, ...) and this host
- def AmlSystem.ns
- def AmlSystem.host
- def AmlSystem.wide
- def AmlSystem.afterthe system after an outcome: its namespace and host
- def aml.rev.n
- def aml.rev.v
- def aml.result
- def AmlOutcome.of_runwhat a run came to
- def aml.env
- def aml.ctx
- def AmlSystem.loadera machine at the start of a definition block, at the root
- def aml.read
- def aml.start
- def aml.fit.argsarguments as the method sees them: Integers cut to 32 bits in a 32-bit definition block
- def AmlSystem.callera machine about to evaluate the object at path p (a method is called with args; any other object is read before the first step)
- def Aml.loada definition block run into the system's namespace, in at most n steps
- def Aml.evalthe object at path p evaluated (a method called with args), in at most n steps
- def aml.boot.chk
- def aml.boot.res
- def aml.boot.one
- def aml.boot.go
- def Aml.bootthe namespace of a machine's tables: the DSDT, then each SSDT, each loaded in at most n steps; the integer width is the DSDT's (the first table's)
- def Aml.mem_system
- def Aml.load_mem
- def Aml.eval_mem
aml_device.bend
- def dv.hex.pick
- def dv.hex
- def AmlEisaId.text
- def dv.get.pick
- def AmlDevice.getan object of a device evaluated (a method run with no arguments), in at most n steps; None if the device has no such object