Symbol: drbd_destroy_mempools
drivers/block/drbd/drbd_main.c
2133
drbd_destroy_mempools(); /* in case we allocated some */
drivers/block/drbd/drbd_main.c
2340
drbd_destroy_mempools();