Searched refs:num_pptdevs (Results 1 – 1 of 1) sorted by relevance
118 static int num_pptdevs; variable119 SYSCTL_INT(_hw_vmm_ppt, OID_AUTO, devices, CTLFLAG_RD, &num_pptdevs, 0,163 num_pptdevs++; in ppt_attach()182 num_pptdevs--; in ppt_detach()332 return (num_pptdevs); in ppt_avail_devices()