Searched refs:MDI_VHCI_CLIENT_LOCKED (Results 1 – 2 of 2) sorted by relevance
1106 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_devinfo_create()1329 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_alloc()1385 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_enlist_table()1409 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_delist_table()1450 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_free()1501 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_find()2940 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