Searched refs:NVMM_X64_GPR_RCX (Results 1 – 7 of 7) sorted by relevance
/dragonfly/sys/dev/virtual/nvmm/x86/ |
H A D | nvmm_x86_vmx.c | 1313 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1340 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1357 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1366 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1372 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1380 cpudata->gprs[NVMM_X64_GPR_RCX] = in vmx_inkernel_handle_cpuid() 1389 cpudata->gprs[NVMM_X64_GPR_RCX] = in vmx_inkernel_handle_cpuid() 1405 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1444 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() 1453 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in vmx_inkernel_handle_cpuid() [all …]
|
H A D | nvmm_x86_svm.c | 836 cpudata->gprs[NVMM_X64_GPR_RCX] = descs.ecx; in svm_inkernel_exec_cpuid() 899 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 913 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 925 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 948 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 954 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 963 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 995 cpudata->gprs[NVMM_X64_GPR_RCX] = in svm_inkernel_handle_cpuid() 1018 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() 1028 cpudata->gprs[NVMM_X64_GPR_RCX] = 0; in svm_inkernel_handle_cpuid() [all …]
|
H A D | nvmm_x86_svmfunc.S | 115 movq %rcx,(NVMM_X64_GPR_RCX * 8)(reg) ;\ 131 movq (NVMM_X64_GPR_RCX * 8)(reg),%rcx ;\
|
H A D | nvmm_x86_vmxfunc.S | 86 movq %rcx,(NVMM_X64_GPR_RCX * 8)(reg) ;\ 102 movq (NVMM_X64_GPR_RCX * 8)(reg),%rcx ;\
|
H A D | nvmm_x86.c | 143 [NVMM_X64_GPR_RCX] = 0x00000000,
|
H A D | nvmm_x86.h | 171 #define NVMM_X64_GPR_RCX 1 macro
|
/dragonfly/lib/libnvmm/ |
H A D | libnvmm_x86.c | 65 printf("| -> RCX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RCX]); in nvmm_vcpu_dump() 565 cnt = state->gprs[NVMM_X64_GPR_RCX] & mask; in rep_get_cnt() 577 state->gprs[NVMM_X64_GPR_RCX] &= ~mask; in rep_set_cnt() 578 state->gprs[NVMM_X64_GPR_RCX] |= cnt; in rep_set_cnt() 1569 [0] = { NVMM_X64_GPR_RCX, 0x000000000000FF00 }, /* CH */ 1659 [0] = { NVMM_X64_GPR_RCX, 0x00000000000000FF }, /* CL */ 1660 [1] = { NVMM_X64_GPR_RCX, 0x000000000000FFFF }, /* CX */ 1662 [3] = { NVMM_X64_GPR_RCX, 0x00000000FFFFFFFF }, /* ECX */ 1666 [7] = { NVMM_X64_GPR_RCX, 0xFFFFFFFFFFFFFFFF }, /* RCX */
|