On 26.02.2024 13:55, Andrew Cooper wrote: > compat_restore_all_guest() already has SPEC_CTRL_EXIT_TO_PV with a documented > requirement for %rsp to be both regs and cpuinfo. > > Use the now-normal annotations and simplify the expressions which happen to be > a subtraction of 0. > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>
