def madt.u32

import bend-osdev-acpi@0.1.1.0/madt.bend as Madt

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

259def madt.u32(v: U32) -> B.Octets:
260  B.Octets.le32(v)

Uses (3)