Provide handle_page_fault_nofile()
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 8 Dec 2015 19:44:58 +0000 (14:44 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 10 Dec 2015 16:26:39 +0000 (11:26 -0500)
commitc5004c7c1f72bc9479e8f6bea33cff66b16f702f
tree14491bc3a2038812aa05d82ffca20df69219ceec
parentcf105716d49b296c5ac65ef2972c0ac97dc8ad68
Provide handle_page_fault_nofile()

This allows us to specify whether we want file operations (page cache,
mostly) when we handle a page fault or not.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/mm.h
kern/src/mm.c