516a1a7e9d
Some msrs (notable MSR_KERNEL_GS_BASE) are held in the processor registers and need to be flushed to the vcpu struture before they can be read. This fixes cygwin longjmp() failure on Windows x64. Signed-off-by: Avi Kivity <avi@redhat.com> |
||
|---|---|---|
| .. | ||
| Kconfig | ||
| Makefile | ||
| i8254.c | ||
| i8254.h | ||
| i8259.c | ||
| irq.c | ||
| irq.h | ||
| kvm_cache_regs.h | ||
| kvm_svm.h | ||
| lapic.c | ||
| lapic.h | ||
| mmu.c | ||
| mmu.h | ||
| paging_tmpl.h | ||
| svm.c | ||
| tss.h | ||
| vmx.c | ||
| x86.c | ||
| x86.h | ||
| x86_emulate.c | ||