Symbol: os_cpuset_clear
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2203
os_cpuset_clear(cpudata->htlb_want_flush, hcpu);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2235
os_cpuset_clear(cpudata->htlb_want_flush, os_curcpu_number());