Xu Zhang 7e84f54da5 mini-os/x86-64 entry: define macros for registers partial save and restore ...

No functional changes.

For saving and restoring registers rbx, rbp, and r12-r15,
define and use macros SAVE_REST and RESTORE_REST respectively.

Signed-off-by: Xu Zhang <xzhang@cs.uic.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>

2013-04-22 12:32:11 +01:00

..

mini-os

mini-os/x86-64 entry: define macros for registers partial save and restore

2013-04-22 12:32:11 +01:00