def madt.u64
import bend-osdev-acpi@0.1.1.0/madt.bend as Madtimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
262def madt.u64(v: W.W64) -> B.Octets:
263 B.Octets.le64(v)
import bend-osdev-acpi@0.1.1.0/madt.bend as Madtimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
262def madt.u64(v: W.W64) -> B.Octets:
263 B.Octets.le64(v)