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

  at LAWS.bend:16, LAWS_rsdp.bend:8, LAWS_tables.bend:20, LAWS_whole.bend:14, PROOF.bend:2, PROOF_rsdp.bend:13, PROOF_tables.bend:2, PROOF_whole.bend:17, acpi.bend:15, aml.bend:14, aml_device.bend:7, aml_field.bend:14, aml_host.bend:25, aml_interp.bend:23, aml_ns.bend:10, aml_resource.bend:16, aml_term.bend:16, aml_value.bend:6, bgrt.bend:13, check.bend:2, error.bend:5, example.bend:13, facs.bend:18, fadt.bend:22, fields.bend:6, gas.bend:14, hpet.bend:16, madt.bend:29, mcfg.bend:18, rsdp.bend:22, rsdt.bend:6, show.bend:6, slit.bend:7, srat.bend:19, bend-osdev-bytes@0.1.1.1/bytes.bend:12

  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)

aml_device.bend

• def dv.sta
• def AmlDevice.status_STA: bit 0 present, 1 enabled, 2 shown in the UI, 3 functioning, 4 battery present; a device without _STA is 0x0F (6.3.7)
• def dv.id
• def dv.hid
• def AmlDevice.hid_HID as text: an EISA ID ("PNP0A03") or the string itself ("ACPI0003")
• def dv.crs
• def AmlDevice.crs_CRS: the resources the device uses (none if it has no _CRS)
• type AmlPrtEntry_PRT entries (6.2.13): the device's address (high word: device, low word: 0xFFFF for any function), the PCI pin (0 INTA to 3 INTD), and the source: the path of a link device and its index, or an empty path and the global system interrupt in index
• def dv.prt.src
• def dv.prt.one
• def dv.prt.cons
• def dv.prt.all
• def dv.prt
• def AmlDevice.prt_PRT of a PCI bridge (none if it has no _PRT)
• def dv.kind
• def dv.devs.pick
• def dv.devs
• def AmlDevice.listevery Device (and \_SB_) of a namespace, in path order

aml_field.bend

• type AmlFieldDesca field unit, with its region resolved
• def fld.width.go
• def AmlField.unitthe access width in bytes, from the field flags
• def AmlField.update_rule
• def fld.mask.pick
• def fld.maskn low bits set
• def fld.min
• def fld.max
• type AmlUnitone unit: its address, and the part of the field it holds
• def fld.unit
• def fld.first
• def fld.count
• def fld.space
• def fld.flags
• def fld.bits
• def fld.access
• def AmlUnit.addr
• def AmlUnit.fits
• def AmlUnit.holethe unit's own bits that belong to the field
• def AmlUnit.takethe field bits a unit holds, from the unit's value v, in place in the field's value
• def AmlUnit.putthe unit's share of the field's value x, in place in the unit
• def AmlUnit.wholethe unit is the field's alone (no other bits to keep)
• def fld.rd.unit
• def fld.rd.next
• def fld.rdunits k ..
• def AmlField.read_intthe value of a field unit of at most 64 bits
• def fld.keepthe unit's bits that are not the field's, by the update rule: read (Preserve), all ones, all zeros
• def fld.wr.unit
• def fld.wr.fits
• def fld.wrunits k ..
• def AmlField.write_inta field unit of at most 64 bits set to x (its low bits)
• def fld.byte
• type AmlFieldBuf
• def fld.rev
• def fld.bytes.rdbytes j ..
• def fld.nbytes
• def AmlField.read_bufa field unit of any width, as a Buffer of its bytes
• def fld.bytes.wr
• def AmlField.write_bufa field unit of any width set from the bytes of o (zeros past its end)
• def fld.bit
• def fld.bits.get
• def fld.bits.pick
• def AmlBits.getbits [off, off + n) of o (n at most 64), as an integer; AcpiAmlRange if they run past o
• def fld.bits.one
• def fld.bits.set
• def fld.bufs.pick
• def AmlBits.seto with bits [off, off + n) set from the low n bits of v (n at most 64)
• def fld.bitsb.get
• def AmlBits.get_bufbits [off, off + n) of o as a Buffer of ceil(n / 8) bytes (the last byte's high bits are the bits that follow the field; callers mask them)
• def fld.ix.rd.k
• def fld.ix.rd
• def AmlField.read_indexed
• def fld.ix.data
• def fld.ix.wr
• def AmlField.write_indexed

aml_host.bend

• type AmlAccess
• type AmlHostOp
• type AmlHostAns
• def AmlPci.address
• type AmlMemHost
• def AmlMemHost.new
• def hst.key
• def hst.snd
• def hst.byte
• def hst.rdn bytes from address a, little-endian, into acc from bit sh
• def hst.wr
• def hst.go
• def AmlMemHost.iothe host interface for AmlMemHost (plain parameters, so that it fits the template type ~io)
• def hst.load
• def AmlMemHost.pokethe host with bytes o at address a of a space (no access logged)
• def AmlMemHost.peekthe byte at an address of a space
• def hst.rev
• def AmlMemHost.logevery access so far, oldest first
• def AmlHostOp.show
• def hst.show
• def AmlMemHost.show_logthe log as text, oldest first, "; " between accesses

aml_interp.bend

• type AmlOptions
• def AmlOptions.default\_OSI answers True for the Windows releases firmware tests for, as operating systems commonly do, and for "Module Device" and "Processor Device"; \_OS is "Microsoft Windows NT"; \_REV is 2 (ACPI 6.5, 5.7.2)
• type AmlCurthe bytes left in the current term list: the list from here, and how many of its bytes belong to the list
• type AmlArgKwhat an operand must be
• type AmlOp
• type AmlCtx