Symbol: bng_re_destroy_chip_ctx
drivers/infiniband/hw/bng_re/bng_dev.c
271
bng_re_destroy_chip_ctx(rdev);
drivers/infiniband/hw/bng_re/bng_dev.c
399
bng_re_destroy_chip_ctx(rdev);