Forcing page reload when page is read

[Ognyan Kulev]

Hi,

I discovered a major problem with my ext2fs patch.  (I wonder how it 
was working at all.)  As I wrote, there is a block cache in disk_image 
that holds the indirect blocks.  The interface of the block cache 
consists of three functions: disk_image_{request,release,clear} where 
disk_image_request can _reuse_ block contained in disk_image for a new 
block.  The problem is that I need to discard the page that contains 
that reused block.  By "discard" I mean that the next memory read from 
this page will do pager_read_pager.

I used pager_flush_some for that purpose, but this doesn't seem to help.

Is there a way to force page reloading, even if this means using 
Mach's native interface, no libpager's?

Regards
--
Ognyan Kulev <ogi@fmi.uni-sofia.bg>, "\"Programmer\""