__buggy_use_of_MTHCA_GET  385 drivers/infiniband/hw/mthca/mthca_dev.h extern void __buggy_use_of_MTHCA_GET(void);
__buggy_use_of_MTHCA_GET  396 drivers/infiniband/hw/mthca/mthca_dev.h 		default: __buggy_use_of_MTHCA_GET();		      \