vmci_handle_arr_remove_tail
handle = vmci_handle_arr_remove_tail(
struct vmci_handle vmci_handle_arr_remove_tail(struct vmci_handle_arr *array);