Searched refs:MDI_VHCI_CLIENT_LOCKED (Results 1 – 2 of 2) sorted by relevance
1105 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_devinfo_create()1328 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_alloc()1384 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_enlist_table()1408 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_delist_table()1449 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_free()1500 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_find()2939 ASSERT(MDI_VHCI_CLIENT_LOCKED(ph->ph_vhci)); in i_mdi_pi_alloc()
300 #define MDI_VHCI_CLIENT_LOCKED(vh) MUTEX_HELD(&(vh)->vh_client_mutex) macro