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

/freebsd-12-stable/sys/amd64/vmm/io/
H A Dppt.c117 static int num_pptdevs; variable
118 SYSCTL_INT(_hw_vmm_ppt, OID_AUTO, devices, CTLFLAG_RD, &num_pptdevs, 0,
162 num_pptdevs++;
181 num_pptdevs--;
331 return (num_pptdevs);

Completed in 115 milliseconds