C++ (Cpp) rdma_addr_unregister_client Exemples

Exemple #1

Fichier : 42_FreeBSD__rdma_addr__sliced_true-unreach-call.c Projet : heryxpc/prototype

void* thr1(void* arg){
  while(1)
    switch(__VERIFIER_nondet_int()){
    case 0: rdma_addr_unregister_client(__VERIFIER_nondet_int()); break;
    case 1: queue_req(); break;
    case 2: process_req(); break;
    case 3: rdma_resolve_ip(); break;
    case 4: rdma_addr_cancel(); break; 
  }

  return 0;
}

Exemple #2

Fichier : hvnd_addr.c Projet : LIS/lis-next

void hvnd_addr_deinit(void)
{
	rdma_addr_unregister_client(&self);
	return;
}