def AcpiF.le24
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
50# the 3-byte little-endian encoding of the low 24 bits of v
51def AcpiF.le24(+v: U32) -> B.Octets:
52 B.Octets.of_list([v, U32.shrn(v, 8n), U32.shrn(v, 16n)])