Searched refs:num_pptdevs (Results 1 – 1 of 1) sorted by relevance
113 static int num_pptdevs; variable114 SYSCTL_INT(_hw_vmm_ppt, OID_AUTO, devices, CTLFLAG_RD, &num_pptdevs, 0,162 num_pptdevs++; in ppt_attach()181 num_pptdevs--; in ppt_detach()331 return (num_pptdevs); in ppt_avail_devices()