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

143

os_mtx_lock(&vcpu->lock);

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

185

os_mtx_lock(&vcpu->lock);

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

188

status_t os_mtx_lock(os_mtx_t *lock);

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

2131

os_mtx_lock(&svm_asidlock);

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

2170

os_mtx_lock(&svm_asidlock);

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

2892

os_mtx_lock(&vmx_asidlock);

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

2926

os_mtx_lock(&vmx_asidlock);

src/libs/nvmm/driver/nvmm.c

143

os_mtx_lock(&vcpu->lock);

src/libs/nvmm/driver/nvmm.c

185

os_mtx_lock(&vcpu->lock);

src/libs/nvmm/driver/nvmm_os.h

188

status_t os_mtx_lock(os_mtx_t *lock);

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

2131

os_mtx_lock(&svm_asidlock);

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

2170

os_mtx_lock(&svm_asidlock);

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

2892

os_mtx_lock(&vmx_asidlock);

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

2926

os_mtx_lock(&vmx_asidlock);