iwpm_mapinfo_available  751 drivers/infiniband/core/iwpm_msg.c 	if (!iwpm_mapinfo_available())
iwpm_mapinfo_available  209 drivers/infiniband/core/iwpm_util.h int iwpm_mapinfo_available(void);