Lines Matching defs:head
109 uint32_t head;
118 head = dmar_read4(unit, DMAR_IQH_REG);
119 head &= DMAR_IQH_MASK;
120 unit->inv_queue_avail = head - unit->inv_queue_tail -
122 if (head <= unit->inv_queue_tail)
415 struct iommu_map_entry *entry, *head;
417 for (head = unit->tlb_flush_head;; head = entry) {
419 atomic_load_acq_ptr((uintptr_t *)&head->tlb_flush_next);
424 iommu_gas_free_entry(head);