Searched refs:NVMM_X64_CR_CR4 (Results 1 – 7 of 7) sorted by relevance
166 [NVMM_X64_CR_CR4] = 0x00000000,
2570 if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) { in vmx_state_gtlb_flush()2647 (state->crs[NVMM_X64_CR_CR4] & CR4_VALID) | CR4_VMXE); in vmx_vcpu_setstate()2798 state->crs[NVMM_X64_CR_CR4] = vmx_vmread(VMCS_GUEST_CR4); in vmx_vcpu_getstate()2803 state->crs[NVMM_X64_CR_CR4] &= ~CR4_VMXE; in vmx_vcpu_getstate()
1815 state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) { in svm_state_gtlb_flush()1885 vmcb->state.cr4 = state->crs[NVMM_X64_CR_CR4]; in svm_vcpu_setstate()2033 state->crs[NVMM_X64_CR_CR4] = vmcb->state.cr4; in svm_vcpu_getstate()
194 #define NVMM_X64_CR_CR4 3 macro
108 state->crs[NVMM_X64_CR_CR4] = CR4_PAE; in reset_machine()
254 state->crs[NVMM_X64_CR_CR4] = CR4_PAE; in reset_machine64()
90 printf("| -> CR4=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR4]); in nvmm_vcpu_dump()432 is_pae = (state->crs[NVMM_X64_CR_CR4] & CR4_PAE) != 0; in x86_gva_to_gpa()434 has_pse = (state->crs[NVMM_X64_CR_CR4] & CR4_PSE) != 0; in x86_gva_to_gpa()