Symbol: os_curcpu
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1008
} else if (vmcs_cpu != os_curcpu()) {
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1033
cpudata->vmcs_cpu = os_curcpu();