diff options
author | Marc Zyngier <[email protected]> | 2013-02-07 10:52:10 +0000 |
---|---|---|
committer | Marc Zyngier <[email protected]> | 2013-06-12 16:42:17 +0100 |
commit | b4afad06c19e3489767532f86ff453a1d1e28b8c (patch) | |
tree | 2c504047919ed9f37d52f154118a7f733bf8d722 /lib/mpi/mpi-bit.c | |
parent | 06c7654d2fb8bac7b1af4340ad59434a5d89b86a (diff) |
arm64: KVM: 32bit specific register world switch
Allow registers specific to 32bit guests to be saved/restored
during the world switch.
Reviewed-by: Christopher Covington <[email protected]>
Reviewed-by: Catalin Marinas <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions