Symbol: hdrqempty
drivers/infiniband/hw/hfi1/chip.h
768
u32 hdrqempty(struct hfi1_ctxtdata *rcd);
drivers/infiniband/hw/hfi1/file_ops.c
1471
if (hdrqempty(uctxt)) {