hdrqempty         804 drivers/infiniband/hw/hfi1/chip.h u32 hdrqempty(struct hfi1_ctxtdata *rcd);
hdrqempty        1478 drivers/infiniband/hw/hfi1/file_ops.c 	if (hdrqempty(uctxt)) {