port_mark_fecn   2351 drivers/infiniband/hw/hfi1/mad.c 	__be64 port_mark_fecn;
port_mark_fecn   2463 drivers/infiniband/hw/hfi1/mad.c 		__be64 port_mark_fecn;