Lines Matching defs:pflags
413 vm_page_t *ma, uint64_t pflags, int flags)
478 dmar_pte_store(&pte->pte, VM_PAGE_TO_PHYS(ma[pi]) | pflags |
490 vm_page_t *ma, uint64_t pflags, int flags)
516 KASSERT((pflags & (DMAR_PTE_R | DMAR_PTE_W)) != 0,
517 ("neither read nor write %jx", (uintmax_t)pflags));
518 KASSERT((pflags & ~(DMAR_PTE_R | DMAR_PTE_W | DMAR_PTE_SNP |
520 ("invalid pte flags %jx", (uintmax_t)pflags));
521 KASSERT((pflags & DMAR_PTE_SNP) == 0 ||
524 ctx, (uintmax_t)pflags));
525 KASSERT((pflags & DMAR_PTE_TM) == 0 ||
528 ctx, (uintmax_t)pflags));
532 error = ctx_map_buf_locked(ctx, base, size, ma, pflags, flags);