vmci_doorbell_index_table_find
!vmci_doorbell_index_table_find(last_notify_idx_released)) {
if (!vmci_doorbell_index_table_find(
!vmci_doorbell_index_table_find(max_notify_idx - 1))