Lines Matching refs:pflags
422 iommu_gaddr_t size, vm_page_t *ma, uint64_t pflags, int flags)
486 dmar_pte_store(&pte->pte, VM_PAGE_TO_PHYS(ma[pi]) | pflags |
503 uint64_t pflags;
506 pflags = ((eflags & IOMMU_MAP_ENTRY_READ) != 0 ? DMAR_PTE_R : 0) |
533 KASSERT((pflags & (DMAR_PTE_R | DMAR_PTE_W)) != 0,
534 ("neither read nor write %jx", (uintmax_t)pflags));
535 KASSERT((pflags & ~(DMAR_PTE_R | DMAR_PTE_W | DMAR_PTE_SNP |
537 ("invalid pte flags %jx", (uintmax_t)pflags));
538 KASSERT((pflags & DMAR_PTE_SNP) == 0 ||
541 domain, (uintmax_t)pflags));
542 KASSERT((pflags & DMAR_PTE_TM) == 0 ||
545 domain, (uintmax_t)pflags));
549 error = domain_map_buf_locked(domain, base, size, ma, pflags, flags);