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

/freebsd-10.2-release/sys/amd64/vmm/
H A Dvmm_ipi.h33 void vmm_ipi_free(int num);
H A Dvmm_ipi.c79 vmm_ipi_free(int ipinum) function
H A Dvmm.c366 vmm_ipi_free(vmm_ipinum);
/freebsd-10.2-release/sys/amd64/vmm/intel/
H A Dvmx.c489 vmm_ipi_free(pirvec);

Completed in 115 milliseconds