IS_RESERVED_START 5479 drivers/infiniband/hw/hfi1/chip.c 	snprintf(buf, bsize, "Reserved%u", source + IS_RESERVED_START);
IS_RESERVED_START 8275 drivers/infiniband/hw/hfi1/chip.c { IS_RESERVED_START,     IS_RESERVED_END,