Searched defs:vmm_ipi_free (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/amd64/vmm/
H A Dvmm_ipi.c79 vmm_ipi_free(int ipinum) function

Completed in 46 milliseconds