Lines Matching defs:iotte_flag
483 uint64_t iotte_flag = tmp_iotte_flag;
497 if (iotte_flag & IOTTE_CACHE)
498 iotte_flag ^= IOTTE_CACHE;
501 if (iotte_flag & IOTTE_STREAM)
502 iotte_flag ^= IOTTE_STREAM;
508 iotte_flag |= IOTTE_INTRA;
512 pfn, iotte_flag));
519 pfn, iotte_flag));
532 (void *)iotte_ptr, pfn, iotte_flag, addr, ioaddr));
539 *iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
629 uint64_t iotte_flag;
631 iotte_flag = tmp_iotte_flag;
643 pfn, iotte_flag, ioaddr));
650 *iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
983 uint64_t iotte_flag = IOTTE_VALID | IOTTE_CACHE |
997 iotte_flag ^= IOTTE_STREAM;
999 iotte_flag ^= IOTTE_STREAM;
1011 ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
1025 (void *)iotte_ptr, pfn, iotte_flag, addr, ioaddr));
1503 uint64_t iotte_flag = 0;
1541 iotte_flag = IOTTE_VALID | IOTTE_WRITE | IOTTE_CACHE;
1546 iotte_flag |= IOTTE_STREAM;
1562 *iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;