Add processing of put_page()

[GoogleCodeExporter]

put_page() is sometimes used to deallocate memmory pages that were allocated 
with alloc_page() or the like. 

Among other things, page_cache_release(), which is often used by filesystem 
modules, expands to put_page() too.

It may make sense to investigate the typical usage scenarios of put_page() in 
the kernel, intercept the calls to this function and process it as a 
deallocation routine in LeakCheck.

Original issue reported on code.google.com by [email protected] on 25 Feb 2013 at 2:12