BAD_PKT_LEN       675 drivers/infiniband/hw/hfi1/chip.c /*17*/	FLAG_ENTRY0("BadPktLenErr", SEEI(BAD_PKT_LEN)),
BAD_PKT_LEN       679 drivers/infiniband/hw/hfi1/chip.c /*21*/	FLAG_ENTRY0("BypassBadPktLenErr", SEEI(BAD_PKT_LEN)),