Searched refs:ds_flush (Results 1 – 3 of 3) sorted by relevance
3372 if (DOMAIN_IN_SET(idn.domset.ds_flush, domid)) { in idn_check_fin_pend()3375 DOMAINSET_DEL(idn.domset.ds_flush, domid); in idn_check_fin_pend()7722 DOMAINSET_ADD(idn.domset.ds_flush, domid); in idn_program_hardware()7971 ASSERT(!DOMAIN_IN_SET(idn.domset.ds_flush, domid)); in idn_deconfig()
3355 DOMAINSET_DEL(idn.domset.ds_flush, domid); in idn_close_domain()
2875 domainset_t ds_flush; /* sz_mutex */ member