microsec           21 ompi/mca/sharedfp/individual/sharedfp_individual_gettime.c 	double microsec = 0.0;
microsec           25 ompi/mca/sharedfp/individual/sharedfp_individual_gettime.c 	microsec = ((double)timestamp.tv_usec)/((double)1000000.0);
microsec           27 ompi/mca/sharedfp/individual/sharedfp_individual_gettime.c 	return (seconds+microsec);