On 24.01.2024 16:49, Andrew Cooper wrote: > cr4_pv32_restore() needs two registers. Right now, it spills %rdx and > clobbers %rax. > > However, %rcx is free to use at all callsites. Annotate CR4_PV32_RESTORE with > our usual clobber comments, and swap %rdx for %rcx in the non-fatal paths > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>
