Searched defs:iotlbr (Results 1 – 1 of 1) sorted by relevance
772 KASSERT((iotlbr & DMAR_IOTLB_IAIG_MASK) != in domain_flush_iotlb_sync() local 753 uint64_t iotlbr; domain_wait_iotlb_flush() local [all...]