IS_SENDCREDIT_START 8273 drivers/infiniband/hw/hfi1/chip.c { IS_SENDCREDIT_START,   IS_SENDCREDIT_END,
IS_SENDCREDIT_START  861 drivers/infiniband/hw/hfi1/init.c 	set_intr_bits(dd, IS_SENDCREDIT_START, IS_SENDCREDIT_END, true);