Tomas Hruby b528d52ea8 pagefault() is private		2010-04-27 20:30:33 +00:00
..
i386	pagefault() is private	2010-04-27 20:30:33 +00:00