Neel Natu 81d597b736 There is no need to save and restore the host's return address in the ... 'struct vmxctx'. It is preserved on the host stack across a guest entry and exit and just restoring the host's '%rsp' is sufficient. Pointed out by: grehan@		2014-04-11 20:15:53 +00:00
..
acpica
amd64	Clear the kernel grab of the FPU state on fork. The pcb_save pointer	2014-03-29 11:56:33 +00:00
conf	Really, really, really only allow this option for amd64/i386 builds.	2014-04-09 18:44:54 +00:00
ia32
include	Update EFI framebuffer handoff from loader	2014-03-27 19:43:38 +00:00
linux32
pci
vmm	There is no need to save and restore the host's return address in the	2014-04-11 20:15:53 +00:00
Makefile