K 10 svn:author V 8 hselasky K 8 svn:date V 27 2017-03-16T16:53:22.403651Z K 7 svn:log V 355 The LinuxKPI pagefault disable and enable functions can only be used pairwise to support the FreeBSD way of pushing and popping the page fault flags. Ensure this by requiring every occurrence of pagefault disable function call to have a corresponding pagefault enable call. Obtained from: kmacy @ MFC after: 1 week Sponsored by: Mellanox Technologies END