K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-04-11T20:15:53.505258Z
K 7
svn:log
V 228
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@

END