K 10 svn:author V 3 alc K 8 svn:date V 27 2009-10-25T17:30:50.978040Z K 7 svn:log V 57 Eliminate an unnecessary check from vm_fault_prefault(). END