Home
last modified time | relevance | path

Searched refs:NVMM_X64_GPR_RCX (Results 1 – 7 of 7) sorted by relevance

/dragonfly/sys/dev/virtual/nvmm/x86/
H A Dnvmm_x86_vmx.c1313 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 Dnvmm_x86_svm.c836 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 Dnvmm_x86_svmfunc.S115 movq %rcx,(NVMM_X64_GPR_RCX * 8)(reg) ;\
131 movq (NVMM_X64_GPR_RCX * 8)(reg),%rcx ;\
H A Dnvmm_x86_vmxfunc.S86 movq %rcx,(NVMM_X64_GPR_RCX * 8)(reg) ;\
102 movq (NVMM_X64_GPR_RCX * 8)(reg),%rcx ;\
H A Dnvmm_x86.c143 [NVMM_X64_GPR_RCX] = 0x00000000,
H A Dnvmm_x86.h171 #define NVMM_X64_GPR_RCX 1 macro
/dragonfly/lib/libnvmm/
H A Dlibnvmm_x86.c65 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 */