~/jendhub

def ld.rsdp.len

bend-osdev-acpi@0.1.1.0 · acpi.bend:129

import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpi
import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

129def ld.rsdp.len(+head: B.Octets) -> Nat:
130  ld.rsdp.pick(U32.is_lt(Maybe.default(&2, U32, B.Octets.at(head, 15n), 0), 2))

Uses (7)

Used by (1)