text: /*
   * Copyright (c) 2004 Topspin Communications.  All rights reserved.
   *
   * This software is available to you under a choice of one of two
   * licenses.  You may choose to be licensed under the terms of the GNU
   * General Public License (GPL) Version 2, available from the file
   * COPYING in the main directory of this source tree, or the
   * OpenIB.org BSD license below:
   *
   *     Redistribution and use in source and binary forms, with or
   *     without modification, are permitted provided that the following
   *     conditions are met:
   *
   *      - Redistributions of source code must retain the above
   *        copyright notice, this list of conditions and the following
   *        disclaimer.
   *
   *      - Redistributions in binary form must reproduce the above
   *        copyright notice, this list of conditions and the following
   *        disclaimer in the documentation and/or other materials
   *        provided with the distribution.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
   * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
   * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
   * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
   * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
   * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
   * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
   * SOFTWARE.
   */
  
  #if HAVE_CONFIG_H
  #  include <config.h>
  #endif /* HAVE_CONFIG_H */
  
  #include <stdio.h>
  
  #include <infiniband/verbs.h>
  #include <infiniband/arch.h>
  
  int main(int argc, char *argv[])
  {
  	struct ibv_device **dev_list;
  	int num_devices, i;
  
  	dev_list = ibv_get_device_list(&num_devices);
  	if (!dev_list) {
  		perror("Failed to get IB devices list");
  		return 1;
  	}
  
  	printf("    %-16s\t   node GUID\n", "device");
  	printf("    %-16s\t----------------\n", "------");
  
  	for (i = 0; i < num_devices; ++i) {
  		printf("    %-16s\t%016llx\n",
  		       ibv_get_device_name(dev_list[i]),
  		       (unsigned long long) ntohll(ibv_get_device_guid(dev_list[i])));
  	}
  
  	ibv_free_device_list(dev_list);
  
  	return 0;
  }
  