Searched defs:iotlbr (Results 1 – 1 of 1) sorted by relevance
757 uint64_t iotlbr; in domain_wait_iotlb_flush() local776 uint64_t iotlbr; in domain_flush_iotlb_sync() local