mlx5_ib_stage_devx_cleanup 6794 drivers/infiniband/hw/mlx5/main.c 		     mlx5_ib_stage_devx_cleanup),
mlx5_ib_stage_devx_cleanup 6845 drivers/infiniband/hw/mlx5/main.c 		     mlx5_ib_stage_devx_cleanup),