diff options
| author | Xu Zhang <xzhang@cs.uic.edu> | 2013-04-10 23:46:59 -0500 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-04-22 12:32:49 +0100 |
| commit | 04823e2ad2a8902bf6d24dc1677c72ac9658b792 (patch) | |
| tree | dab09bd8af0835412a9efc0251bcd605d0860feb /stubdom | |
| parent | ae81a2fe4c70d3905fecb91112f0524c68e46902 (diff) | |
| download | xen-04823e2ad2a8902bf6d24dc1677c72ac9658b792.tar.gz xen-04823e2ad2a8902bf6d24dc1677c72ac9658b792.tar.bz2 xen-04823e2ad2a8902bf6d24dc1677c72ac9658b792.zip | |
mini-os/x86-64 entry: defer RESTORE_REST until return
No need to do a RESTORE_REST at this point because if we saw pending
events after we enabled event delivery, we have to do a SAVE_REST again.
Instead, we do a "lazy" RESTORE_REST, deferring it until actual return.
The offset of saved-on-stack rflags register is changed as well.
Signed-off-by: Xu Zhang <xzhang@cs.uic.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Diffstat (limited to 'stubdom')
0 files changed, 0 insertions, 0 deletions