Add processing of put_page()

[euspectre]

Original issue 8 created by euspectre on 2013-02-25T14:12:04.000Z:

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.