Searched refs:MDI_VHCI_CLIENT_LOCKED (Results 1 – 2 of 2) sorted by relevance
1102 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_devinfo_create()1323 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_alloc()1379 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_enlist_table()1403 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_delist_table()1444 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_free()1494 ASSERT(MDI_VHCI_CLIENT_LOCKED(vh)); in i_mdi_client_find()2935 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