On Tue, Nov 27, 2007 at 12:35:46AM +0100, Manuel Bouyer wrote: > the hypervisor switches address spaces on kernel entry/exit, and > %cr3 never points to a user page table when in kernel, and vice-versa. It reloads %cr3 on every syscall? Does the hypervisor provide an alternative method that can be used? Andrew