Symbol: vdo_memory_exit
drivers/md/dm-vdo/dm-vdo-target.c
3050
vdo_memory_exit();
drivers/md/dm-vdo/memory-alloc.h
101
void vdo_memory_exit(void);