os_mtx_t
os_mtx_lock(os_mtx_t *lock)
os_mtx_t lock;
status_t os_mtx_lock(os_mtx_t *lock);
static os_mtx_t svm_asidlock __cacheline_aligned;
static os_mtx_t vmx_asidlock __cacheline_aligned;
os_mtx_lock(os_mtx_t *lock)
os_mtx_t lock;
status_t os_mtx_lock(os_mtx_t *lock);
static os_mtx_t svm_asidlock __cacheline_aligned;
static os_mtx_t vmx_asidlock __cacheline_aligned;