~/jendhub

def mcfg.covers

bend-osdev-acpi@0.1.1.0 · mcfg.bend:68

import bend-osdev-acpi@0.1.1.0/mcfg.bend as Mcfg
import Base

68def mcfg.covers(+seg: U32, +bus: U32, e: AcpiMcfgEntry) -> Bool:
69  match e:
70    case AcpiMcfgEntry{b, s, lo, hi}:
71      Bool.and(U32.is_eq(s, seg), Bool.and(U32.is_le(lo, bus), U32.is_le(bus, hi)))

Uses (6)

Used by (1)