-
Jan Kiszka authored
This service is also called by the primary domain as part of __switch_to. Therefore, we need to harden other callers of it so that we do not corrupt the state of the related MSR. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
1f0f387c