Pagecache tools. dumpcache.c: dumps complete pagecache of device. pagecache.py: shows live info on files going in/out of pagecache.
