Searched refs:px_vpci_users (Results 1 – 1 of 1) sorted by relevance
60 static uint_t px_vpci_users = 0; /* VPCI API users */ variable156 if (px_vpci_users == 0) { in px_lib_dev_init()184 px_vpci_users++; in px_lib_dev_init()245 if (--px_vpci_users == 0) in px_lib_dev_fini()