os_cpuset_isset - Haiku

Symbol: os_cpuset_isset

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

bool os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu);

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

if (__predict_true(!os_cpuset_isset(cpudata->htlb_want_flush, hcpu))) {

src/libs/nvmm/driver/nvmm_os.h

bool os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu);

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

if (__predict_true(!os_cpuset_isset(cpudata->htlb_want_flush, hcpu))) {