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