def AcpiGas.encode

bend-osdev-acpi@0.1.1.0 · gas.bend:43

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

43def AcpiGas.encode(g: AcpiGas) -> B.Octets:
44  match g:
45    case AcpiGas{s, w, off, a, addr}:
46      B.Octets.append(B.Octets.of_list([s, w, off, a]), B.Octets.le64(addr))