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

363

void os_preempt_enable();

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

1731

os_preempt_enable();

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

1004

os_preempt_enable();

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

1018

os_preempt_enable();

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

948

os_preempt_enable();

src/libs/nvmm/driver/nvmm_os.h

363

void os_preempt_enable();

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

1731

os_preempt_enable();

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

1004

os_preempt_enable();

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

1018

os_preempt_enable();

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

948

os_preempt_enable();