def AmlName.seg

bend-osdev-acpi@0.1.1.0 · aml_name.bend:380

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

380# a segment from text: its first four characters, padded with '_' as ASL
381# does ("_SB" is "_SB_")
382def AmlName.seg(s: String) -> B.Octets:
383  +o = B.Octets.take(4n, B.Octets.of_string(s))
384  B.Octets.append(o, B.Octets.of_string(String.repeat("_", Nat.sub(4n, B.Octets.len(o)))))