ibdm_ibnex_get_ioc_count
num_nodes += ibdm_ibnex_get_ioc_count();
int ibdm_ibnex_get_ioc_count(void);