old_pkey_cache   1393 drivers/infiniband/core/cache.c 	struct ib_pkey_cache      *pkey_cache = NULL, *old_pkey_cache;
old_pkey_cache   1439 drivers/infiniband/core/cache.c 	old_pkey_cache = device->port_data[port].cache.pkey;
old_pkey_cache   1453 drivers/infiniband/core/cache.c 	kfree(old_pkey_cache);