#4085 enumerating cached pages for a file