os_curcpu_number - DragonflyBSD

Symbol: os_curcpu_number

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

hcpu = os_curcpu_number();

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

wrmsr(MSR_VM_HSAVE_PA, hsave[os_curcpu_number()].pa);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

os_cpuset_clear(cpudata->htlb_want_flush, os_curcpu_number());

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

hcpu = os_curcpu_number();

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

vmx_vmxon(&vmxoncpu[os_curcpu_number()].pa);