K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2010-12-02T02:34:39.226593Z K 7 svn:log V 620 Rewrite the hypervisor page table manipulation stuff to use KOBJ, and split the non-hypervisor page table manipulation code into a separate MMU module. This makes the page table interface and HV extensions vastly cleaner. There seems to be no speed penalty associated with this; the cost of the TLB invalidations and other operations required in page table manipulations vastly exceeds the function call overhead, and, through some perverse behavior of gcc, calling through function pointers can be somehow be faster than calling inline functions in some cases. Many thanks to Peter Grehan for suggesting this change. END