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)
LAWS.bend
- law pkglength_round_trip
- law namestring_round_trip
- law header_round_trip
- law sdt_check_sums
- law table_checksums
- law rsdp_checksum
- law rsdp_ext_checksum
- law run_steps_bound
- law load_steps_bound
- law eval_steps_bound
- law pkglength_example
- law namestring_example
- law header_example
- law check_examplethe checks pass for a table and an RSDP of each revision
- law parse_example
- law rsdp_example
- law rsdp_v1_example
- law pkglength_63PkgLength (20.2.4): the boundaries of the four forms
- law pkglength_64
- law pkglength_4095
- law pkglength_4096
- law pkglength_max
- law pkglength_reservedbits 5-4 set in a multi-byte form
- law name_dualNameString (20.2.2): a DualNamePath, a MultiNamePath, parent prefixes, the root alone (NullName), and a segment that is not a NameSeg
- law name_multi
- law name_parents
- law name_root
- law name_bad_seg
- law eisaid_power_buttonEISAID (chapter 19, the ASL operator), with the IDs of the examples of 6.1.5 (the power button) and 6.1.2 (a PCI root bridge's compatible ID)
- law eisaid_pci
- law aml_name_hidAML encodings (20.2.5.2, DefName; 20.2.5.2, DefMethod; 20.2.5.3, DefReturn): Name (_HID, EISAID ("PNP0C0C")) and Method (_STA) { Return (0x0F) }, as ASL compilers write them
- law aml_method_sta
- law checksum_builtChecksums: a table built here sums to zero; one byte changed, it does not
- law checksum_broken
- law aml_eval_stathe interpreter: Method (_STA) { Return (0x0F) } loaded at the root, and called
LAWS_tables.bend
- law gas_round_tripA Generic Address Structure, at offset len(a) of a ++ encode(g) ++ b
- law hpet_round_tripThe HPET table's body, read back with any header h
- law bgrt_round_tripThe BGRT table's body, read back with any header h
- law facs_round_tripThe FACS: parsed back as built, with the Length 64 that build writes
- def acpilaw.low32the low 32 bits of each address, as a W64 (what an RSDT entry holds)
- def acpilaw.mcfg_fiteach MCFG structure as it is stored: the segment group's low 16 bits, the bus numbers' low 8 bits
- law xsdt_round_tripThe XSDT's entries, read back with any header h
- law rsdt_round_tripThe RSDT's entries: each address's low 32 bits
- law mcfg_round_tripThe MCFG's allocation structures, as stored
- law aml_round_tripA DSDT's or SSDT's definition block (the header's signature is kept, so it too must have its size)
PROOF.bend
- def bdisc
- def ft_absurd
- def pk_abs
- def pk_bitsthe bits from the top down, so that they are matched in binder order
- def pk_rt
- def cnt_abs
- def cnt.d256
- def cnt.d255
- def cnt.d254
- def cnt.d253
- def cnt.d252
- def cnt.d251
- def cnt.d250
- def cnt.d249
- def cnt.d248
- def cnt.d247
- def cnt.d246
- def cnt.d245
- def cnt.d244
- def cnt.d243
- def cnt.d242
- def cnt.d241
- def cnt.d240
- def cnt.d239
- def cnt.d238
- def cnt.d237
- def cnt.d236
- def cnt.d235
- def cnt.d234
- def cnt.d233
- def cnt.d232
- def cnt.d231
- def cnt.d230
- def cnt.d229
- def cnt.d228
- def cnt.d227
- def cnt.d226
- def cnt.d225
- def cnt.d224
- def cnt.d223
- def cnt.d222
- def cnt.d221
- def cnt.d220
- def cnt.d219
- def cnt.d218
- def cnt.d217
- def cnt.d216
- def cnt.d215
- def cnt.d214
- def cnt.d213
- def cnt.d212
- def cnt.d211
- def cnt.d210
- def cnt.d209
- def cnt.d208