Symbol: vmm_handle_cpuid
sys/arch/amd64/amd64/vmm_machdep.c
109
int vmm_handle_cpuid(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4255
ret = vmm_handle_cpuid(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4531
error = vmm_handle_cpuid(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4571
error = vmm_handle_cpuid(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4679
ret = vmm_handle_cpuid(vcpu);