Searched refs:vmmdev_hma_reg (Results 1 – 1 of 1) sorted by relevance
74 static hma_reg_t *vmmdev_hma_reg; variable2006 if (vmmdev_hma_reg == NULL) { in vmm_hma_acquire()2008 vmmdev_hma_reg = hma_register(vmmdev_hvm_name); in vmm_hma_acquire()2009 if (vmmdev_hma_reg == NULL) { in vmm_hma_acquire()2039 VERIFY(vmmdev_hma_reg != NULL); in vmm_hma_release()2040 hma_unregister(vmmdev_hma_reg); in vmm_hma_release()2041 vmmdev_hma_reg = NULL; in vmm_hma_release()3383 VERIFY3U(vmmdev_hma_reg, ==, NULL); in vmm_detach()