Searched refs:num_pptdevs (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/io/
H A Dppt.c118 static int num_pptdevs; variable
119 SYSCTL_INT(_hw_vmm_ppt, OID_AUTO, devices, CTLFLAG_RD, &num_pptdevs, 0,
163 num_pptdevs++;
182 num_pptdevs--;
332 return (num_pptdevs);

Completed in 101 milliseconds