SERIAL_MAX       15102 drivers/infiniband/hw/hfi1/chip.c 	snprintf(dd->serial, SERIAL_MAX, "0x%08llx\n",
SERIAL_MAX       1230 drivers/infiniband/hw/hfi1/hfi.h 	u8 serial[SERIAL_MAX];