drbd_destroy_mempools 2193 drivers/block/drbd/drbd_main.c 	drbd_destroy_mempools(); /* in case we allocated some */
drbd_destroy_mempools 2409 drivers/block/drbd/drbd_main.c 	drbd_destroy_mempools();