sys/dev/iommu/busdma_iommu.c

662

offset &= IOMMU_PAGE_MASK;

sys/dev/iommu/iommu_gas.c

532

if ((entry->start & IOMMU_PAGE_MASK) != 0 ||

sys/dev/iommu/iommu_gas.c

533

(entry->end & IOMMU_PAGE_MASK) != 0)

sys/x86/iommu/amd_idpgtbl.c

251

KASSERT((base & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/amd_idpgtbl.c

254

KASSERT((size & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/amd_idpgtbl.c

343

KASSERT((base & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/amd_idpgtbl.c

346

KASSERT((size & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/intel_idpgtbl.c

496

KASSERT((base & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/intel_idpgtbl.c

499

KASSERT((size & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/intel_idpgtbl.c

609

KASSERT((base & IOMMU_PAGE_MASK) == 0,

sys/x86/iommu/intel_idpgtbl.c

612

KASSERT((size & IOMMU_PAGE_MASK) == 0,