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;