sys/dev/virtual/nvmm/nvmm.c

154

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

sys/dev/virtual/nvmm/nvmm.c

83

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

sys/dev/virtual/nvmm/nvmm.c

84

OS_ASSERT(mach->present);

sys/dev/virtual/nvmm/nvmm_dragonfly.c

223

OS_ASSERT((uintptr_t)ret % PAGE_SIZE == 0);

sys/dev/virtual/nvmm/nvmm_dragonfly.c

330

OS_ASSERT(owner != NULL);

sys/dev/virtual/nvmm/nvmm_dragonfly.c

346

OS_ASSERT(owner != NULL);

sys/dev/virtual/nvmm/nvmm_netbsd.c

154

OS_ASSERT((uintptr_t)ret % PAGE_SIZE == 0);

sys/dev/virtual/nvmm/nvmm_netbsd.c

308

OS_ASSERT(owner != NULL);

sys/dev/virtual/nvmm/nvmm_netbsd.c

318

OS_ASSERT(owner != NULL);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1101

OS_ASSERT(cpuid->mask);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1223

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

801

OS_ASSERT(ret == 0);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

815

OS_ASSERT(ret == 0);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1024

OS_ASSERT(os_preempt_disabled());

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1025

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1026

OS_ASSERT(cpudata->vmcs_refcnt > 0);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1042

OS_ASSERT(os_preempt_disabled());

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1043

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1044

OS_ASSERT(cpudata->vmcs_refcnt == 1);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1194

OS_ASSERT(ret == 0);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1208

OS_ASSERT(ret == 0);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1583

OS_ASSERT(cpuid->mask);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1660

OS_ASSERT(gpr < 16);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1718

OS_ASSERT(gpr < 16);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1762

OS_ASSERT(gpr < 16);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1846

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

971

OS_ASSERT(os_preempt_disabled());

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

994

OS_ASSERT(os_preempt_disabled());

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

995

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