def AcpiRsdp.checked
import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdpimport Base
71# how many bytes the checksums covered: 20 for revision 0, Length after
72def AcpiRsdp.checked(r: AcpiRsdp) -> Nat:
73 rs.checked(AcpiRsdp.ext(r))
import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdpimport Base
71# how many bytes the checksums covered: 20 for revision 0, Length after
72def AcpiRsdp.checked(r: AcpiRsdp) -> Nat:
73 rs.checked(AcpiRsdp.ext(r))