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_interp.bend

• def in.ap.osi
• def in.mbody
• def in.locals
• def in.callthe method at p called with args: its body runs in its own scope, with fresh Locals; FCall remembers where to come back
• def in.drop.temps
• def in.temps
• def in.backback from a method: its names removed, the caller context restored
• def in.unwind.retReturn: frames dropped to the method call (or the bottom)
• def in.unwind.brkBreak: frames dropped to the While, then on after it
• def in.unwind.contContinue: frames dropped to the While, whose predicate is read again
• def in.ap.ret
• def in.kT
• def in.kG
• def in.kS
• def in.kN
• def in.kY
• def in.tt.g
• def in.t.g
• def in.kinds
• def in.is_stmtthe operators that are statements: refused where a value is wanted
• def in.refof
• def in.apply.code
• def in.apply
• def in.startan operator reached: its operands are read next (if it has any)
• def in.times
• def in.invoke
• def in.name.val
• def in.name.base
• def in.name.res
• def in.name.go
• def in.imm.give
• type AmlStrL
• def in.str.z
• def in.str.go
• def in.str.give
• def in.stringa String: its bytes up to the NUL
• def in.buffer
• def in.pad
• def in.pkg.first
• def in.pkg.start
• def in.package
• def in.varpackage
• def in.zero
• def in.lvar
• def in.enter
• def in.scope.target
• def in.scope.k
• def in.scope.opScope (chapter 19): the term list runs in the named scope
• def in.method.flags
• def in.method.k
• def in.method.opMethod (chapter 19): defined, its body kept for when it is called
• def in.dev.go
• def in.dev.fits
• def in.dev.k
• def in.dev.opDevice, Processor, PowerResource, ThermalZone (chapter 19): an object whose term list runs in its own scope; Processor's ID and block and PowerResource's level and order are skipped
• def in.if.op
• def in.while.op
• def in.skip.op
• type AmlFkwhat the field units are of
• type AmlFlSt
• type AmlFlNext
• def fl.unit
• def fl.bits.fit
• def fl.bits.go
• def fl.bitsa PkgLength used as a number of bits
• def fl.reserved
• def fl.access.fit
• def fl.access
• def fl.named.def
• def fl.named.k
• def fl.named.chk
• def fl.named.seg
• def fl.named
• def fl.elem
• def fl.byte
• def fl.step.go
• def fl.step
• def fl.loopevery element takes at least two bytes, so the list length is enough fuel
• def fl.run
• def fl.done
• def fl.flags
• def fl.path
• def fl.region.k
• def fl.field.op
• def fl.index.d
• def fl.index.k
• def fl.indexfield.op
• def in.unsupported
• def in.expr.ok
• def in.unknown.name
• def in.unknown.go
• def in.unknown.pick
• def in.unknownan opcode with no operator here: AcpiAmlUnsupported if ACPI defines it (named in README.md), AcpiAmlBadOpcode otherwise
• def in.expr
• def in.stmt.ext
• def in.stmt.ext.chk
• def in.term.extan extended opcode (0x5B, then this byte)
• def in.term.extb
• def in.name.lead.go
• def in.name.lead