Searched refs:num_pptdevs (Results 1 – 1 of 1) sorted by relevance
114 static int num_pptdevs; variable115 SYSCTL_INT(_hw_vmm_ppt, OID_AUTO, devices, CTLFLAG_RD, &num_pptdevs, 0,159 num_pptdevs++; in ppt_attach()178 num_pptdevs--; in ppt_detach()329 return (num_pptdevs); in ppt_avail_devices()