__ppl_exit_log   1257 drivers/md/raid5-ppl.c 		__ppl_exit_log(ppl_conf);
__ppl_exit_log   1461 drivers/md/raid5-ppl.c 	__ppl_exit_log(ppl_conf);