os_cpuset_destroy - Haiku

Symbol: os_cpuset_destroy

src/add-ons/kernel/drivers/nvmm/nvmm_os.h

void os_cpuset_destroy(os_cpuset_t *cpuset);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

os_cpuset_destroy(cpudata->htlb_want_flush);

src/libs/nvmm/driver/nvmm_os.h

void os_cpuset_destroy(os_cpuset_t *cpuset);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

os_cpuset_destroy(cpudata->htlb_want_flush);