![]() This patch lets GCC to determine which registers to save when we switch to/from a VCPU in the case of AMD x86_64. * Original code saves following registers: rbx, rcx, rdx, rsi, rdi, rbp, r8, r9, r10, r11, r12, r13, r14, r15 * Patched code: - informs GCC that we modify following registers using the clobber description: rbx, rcx, rdx, rsi, rdi r8, r9, r10, r11, r12, r13, r14, r15 - rbp is saved (pop/push) because GCC seems to ignore its use in the clobber description. Signed-off-by: Laurent Vivier <Laurent.Vivier@bull.net> Signed-off-by: Avi Kivity <avi@qumranet.com> |
||
---|---|---|
.. | ||
i8259.c | ||
ioapic.c | ||
irq.c | ||
irq.h | ||
Kconfig | ||
kvm.h | ||
kvm_main.c | ||
kvm_svm.h | ||
lapic.c | ||
Makefile | ||
mmu.c | ||
paging_tmpl.h | ||
segment_descriptor.h | ||
svm.c | ||
svm.h | ||
vmx.c | ||
vmx.h | ||
x86.c | ||
x86.h | ||
x86_emulate.c | ||
x86_emulate.h |