Symbol: bng_re_register_debugfs
drivers/infiniband/hw/bng_re/bng_debugfs.h
10
void bng_re_register_debugfs(void);
drivers/infiniband/hw/bng_re/bng_dev.c
499
bng_re_register_debugfs();