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

/freebsd-10.2-release/sys/amd64/vmm/
H A Dvmm_ipi.h32 int vmm_ipi_alloc(void);
H A Dvmm_ipi.c50 vmm_ipi_alloc(void) function
H A Dvmm.c326 vmm_ipinum = vmm_ipi_alloc();
/freebsd-10.2-release/sys/amd64/vmm/intel/
H A Dvmx.c697 pirvec = vmm_ipi_alloc();

Completed in 76 milliseconds