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