static inline u32 cm_req_get_alt_flow_label(struct cm_req_msg *req_msg) 
static inline __be32 cm_req_get_alt_flow_label(struct cm_req_msg *req_msg) 
static inline u32 cm_req_get_alt_flow_label(struct cm_req_msg *req_msg){	return cpu_to_be32((be32_to_cpu(req_msg->alt_offset132) >> 12));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/cm_msgs.h/clean/drivers/infiniband/core/cm_msgs.h