Symbol: DC_DC8051_CFG_EXT_DEV_0_RSP_DATA_SHIFT
drivers/infiniband/hw/hfi1/chip.c
6321
(u64)rsp_data << DC_DC8051_CFG_EXT_DEV_0_RSP_DATA_SHIFT);
drivers/infiniband/hw/hfi1/chip.c
8766
DC_DC8051_CFG_EXT_DEV_0_RSP_DATA_SHIFT);