AHG_KDETH_INTR_SHIFT 1360 drivers/infiniband/hw/hfi1/user_sdma.c 					    AHG_KDETH_INTR_SHIFT));
AHG_KDETH_INTR_SHIFT 1366 drivers/infiniband/hw/hfi1/user_sdma.c 					     AHG_KDETH_INTR_SHIFT));