Pager in the Fiasco.OC.

[Christian Ehrhardt]

Hi,

On Tue, May 24, 2011 at 05:36:49PM -0700, Chen Tian wrote:
> After a pager resolves a page fault in user space, I assume the reply
> message, which contains the mapping, should be processed in the kernel
> (e.g., update page table etc.). Am I right? If so, where can I find
> the corresponding implementation? Thanks.

This happens in Thread::transfer_msg_items.

     regards    Christian