first_ctxt       14078 drivers/infiniband/hw/hfi1/chip.c 			     u32 first_ctxt,
first_ctxt       14084 drivers/infiniband/hw/hfi1/chip.c 	u64 ctxt = first_ctxt;
first_ctxt       14090 drivers/infiniband/hw/hfi1/chip.c 			ctxt = first_ctxt;