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

160

OS_ASSERT(os_mtx_owned(&vcpu->lock));

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

88

OS_ASSERT(os_rwl_wheld(&mach->lock));

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

89

OS_ASSERT(mach->present);

src/add-ons/kernel/drivers/nvmm/nvmm_haiku.cpp

172

OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());

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

1099

OS_ASSERT(cpuid->mask);

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

1161

OS_ASSERT(__SHIFTOUT(info, SVM_EXIT_IO_SEG) < 6);

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

801

OS_ASSERT(ret == 0);

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

815

OS_ASSERT(ret == 0);

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

1012

OS_ASSERT(os_preempt_disabled());

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

1013

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

1014

OS_ASSERT(cpudata->vmcs_refcnt == 1);

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

1164

OS_ASSERT(ret == 0);

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

1178

OS_ASSERT(ret == 0);

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

1550

OS_ASSERT(cpuid->mask);

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

1627

OS_ASSERT(gpr < 16);

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

1695

OS_ASSERT(gpr < 16);

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

1739

OS_ASSERT(gpr < 16);

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

1823

OS_ASSERT(__SHIFTOUT(info, VMX_INFO_IO_SEG) < 6);

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

941

OS_ASSERT(os_preempt_disabled());

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

964

OS_ASSERT(os_preempt_disabled());

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

965

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

994

OS_ASSERT(os_preempt_disabled());

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

995

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

996

OS_ASSERT(cpudata->vmcs_refcnt > 0);

src/libs/nvmm/driver/nvmm.c

160

OS_ASSERT(os_mtx_owned(&vcpu->lock));

src/libs/nvmm/driver/nvmm.c

88

OS_ASSERT(os_rwl_wheld(&mach->lock));

src/libs/nvmm/driver/nvmm.c

89

OS_ASSERT(mach->present);

src/libs/nvmm/driver/nvmm_haiku.cpp

172

OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());

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

1099

OS_ASSERT(cpuid->mask);

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

1161

OS_ASSERT(__SHIFTOUT(info, SVM_EXIT_IO_SEG) < 6);

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

801

OS_ASSERT(ret == 0);

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

815

OS_ASSERT(ret == 0);

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

1012

OS_ASSERT(os_preempt_disabled());

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

1013

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

1014

OS_ASSERT(cpudata->vmcs_refcnt == 1);

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

1164

OS_ASSERT(ret == 0);

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

1178

OS_ASSERT(ret == 0);

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

1550

OS_ASSERT(cpuid->mask);

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

1627

OS_ASSERT(gpr < 16);

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

1695

OS_ASSERT(gpr < 16);

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

1739

OS_ASSERT(gpr < 16);

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

1823

OS_ASSERT(__SHIFTOUT(info, VMX_INFO_IO_SEG) < 6);

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

941

OS_ASSERT(os_preempt_disabled());

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

964

OS_ASSERT(os_preempt_disabled());

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

965

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

994

OS_ASSERT(os_preempt_disabled());

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

995

OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa);

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

996

OS_ASSERT(cpudata->vmcs_refcnt > 0);