guest_cpuid_get_register  100 arch/x86/kvm/cpuid.h 	reg = guest_cpuid_get_register(vcpu, x86_feature);
guest_cpuid_get_register  111 arch/x86/kvm/cpuid.h 	reg = guest_cpuid_get_register(vcpu, x86_feature);