__set_regs       8707 arch/x86/kvm/x86.c 	__set_regs(vcpu, regs);
__set_regs       9106 arch/x86/kvm/x86.c 		__set_regs(vcpu, &vcpu->run->s.regs.regs);