>* Since some days I'm hunting a bug in page-fault.c without success.
> Think, it's a stupid one, but I guess, I'm blind... :( When guest
> kernel causes a page fault, "pager_handle_page_fault" tryes to
> resolve this fault by mapping a page to the right place. Well, it
> *should* this do, but it failes. :( Hope somebody of you may give
> me a hint.
Jens, I had only a very brief look at your patch, but I don't see you flush
the TLB anywhere... you'll need to either flush the complete TLB (not
recommended) or use INVLPG to invalidate the page, in order for your
changes to the page tables to take effect.
Can this be the problem ?
-- Ramon
