def AcpiGas.show

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

70def AcpiGas.show(g: AcpiGas) -> String:
71  match g:
72    case AcpiGas{s, w, off, a, addr}:
73      "{" ++ U32.show(s) ++ " " ++ U32.show(w) ++ " " ++ U32.show(off) ++ " " ++ U32.show(a) ++ " " ++ W.W64.show_hex(addr) ++ "}"