[PATCH 4.14 004/246] drivers/infiniband/core/verbs.c: fix build with gcc-4.4.4