Cross Reference: /src/sys/dev/nvmm/x86/nvmm_x86

Lines Matching defs:ecx
849 svm_inkernel_exec_cpuid(struct svm_cpudata *cpudata, uint64_t eax, uint64_t ecx)
853 	x86_cpuid2(eax, ecx, descs);
861 svm_inkernel_handle_cpuid(struct nvmm_cpu *vcpu, uint64_t eax, uint64_t ecx)
886 			svm_inkernel_exec_cpuid(cpudata, eax, ecx);
891 			svm_inkernel_exec_cpuid(cpudata, eax, ecx);
896 			svm_inkernel_exec_cpuid(cpudata, eax, ecx);
915 		cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_00000001.ecx;
937 		switch (ecx) {
941 			cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_00000007.ecx;
966 		switch (ecx) {
1026 		cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000001.ecx;
1038 		cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000007.ecx;
1044 		cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000008.ecx;
1106 	uint64_t eax, ecx;
1110 	ecx = cpudata->gprs[NVMM_X64_GPR_RCX];
1111 	svm_inkernel_exec_cpuid(cpudata, eax, ecx);
1112 	svm_inkernel_handle_cpuid(vcpu, eax, ecx);
1132 		cpudata->gprs[NVMM_X64_GPR_RCX] &= ~cpuid->u.mask.del.ecx;
1138 		cpudata->gprs[NVMM_X64_GPR_RCX] |= cpuid->u.mask.set.ecx;
2392 	     (cpuid->u.mask.set.ecx & cpuid->u.mask.del.ecx) ||
OpenGrok
