def tb.mdrop

bend-osdev-acpi@0.1.1.0 · PROOF_tables.bend:453

import 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

453def tb.mdrop(+b: W.W64, +s: U32, +lo: U32, +hi: U32, +rest: B.Octets) -> {rest == B.Octets.drop(16n, B.Octets.append(B.Octets.concat([B.Octets.le64(b), B.Octets.le16(s), B.Octets.of_list([lo, hi]), B.Octets.zeros(4n)]), rest)) : B.Octets}:
454  tb.cdrop(B.Octets.concat([B.Octets.le64(b), B.Octets.le16(s), B.Octets.of_list([lo, hi]), B.Octets.zeros(4n)]), rest, tb.clen_g(b, s, lo, hi))