microcode_version  570 arch/x86/include/asm/kvm_host.h 	u64 microcode_version;
microcode_version 2144 arch/x86/kvm/svm.c 	vcpu->arch.microcode_version = 0x01000065;
microcode_version 4265 arch/x86/kvm/vmx/vmx.c 	vcpu->arch.microcode_version = 0x100000000ULL;
microcode_version 2710 arch/x86/kvm/x86.c 			vcpu->arch.microcode_version = data;
microcode_version 3023 arch/x86/kvm/x86.c 		msr_info->data = vcpu->arch.microcode_version;
microcode_version  667 drivers/media/dvb-frontends/bcm3510.c 		ver.microcode_version, ver.script_version, ver.config_version, ver.demod_version);
microcode_version  159 drivers/media/dvb-frontends/bcm3510_priv.h 	u8 microcode_version;