[PATCH 4.16 116/196] drivers/infiniband/core/verbs.c: fix build with gcc-4.4.4