__get_regs       8667 arch/x86/kvm/x86.c 	__get_regs(vcpu, regs);
__get_regs       9090 arch/x86/kvm/x86.c 		__get_regs(vcpu, &vcpu->run->s.regs.regs);