update_includes_mgmt_partition 1675 drivers/infiniband/hw/hfi1/mad.c 	int update_includes_mgmt_partition = 0;
update_includes_mgmt_partition 1689 drivers/infiniband/hw/hfi1/mad.c 			update_includes_mgmt_partition = 1;
update_includes_mgmt_partition 1694 drivers/infiniband/hw/hfi1/mad.c 	if (!update_includes_mgmt_partition)