Symbol: RCV_HDR_OVFL_CNT
drivers/infiniband/hw/hfi1/chip.c
1214
(RCV_HDR_OVFL_CNT + ctx * 0x100), \
drivers/infiniband/hw/hfi1/chip.c
13912
write_kctxt_csr(dd, i, RCV_HDR_OVFL_CNT, 0);