nvmm: Implement os_ipi_broadcast() for _change_cpu()
[dragonfly.git] / sys / dev / virtual / nvmm / x86 /
drwxr-xr-x   ..
-rw-r--r-- 13544 nvmm_x86.c
-rw-r--r-- 26761 nvmm_x86.h
-rw-r--r-- 75090 nvmm_x86_svm.c
-rw-r--r-- 4696 nvmm_x86_svmfunc.S
-rw-r--r-- 100143 nvmm_x86_vmx.c
-rw-r--r-- 5001 nvmm_x86_vmxfunc.S