addr_cleanup      195 drivers/infiniband/core/core_priv.h void addr_cleanup(void);
addr_cleanup     2769 drivers/infiniband/core/device.c 	addr_cleanup();
addr_cleanup     2790 drivers/infiniband/core/device.c 	addr_cleanup();