Home | History | Annotate | Download | only in x86

Lines Matching defs:cr4

1247 	uint64_t cr4;
1305 		/* CPUID2_OSXSAVE depends on CR4. */
1306 		cr4 = vmx_vmread(VMCS_GUEST_CR4);
1307 		if (!(cr4 & CR4_OSXSAVE)) {
1679 	uint64_t type, gpr, oldcr4, cr4;
1698 	cr4 = gpr | CR4_VMXE;
1699 	if (vmx_check_cr(cr4, vmx_cr4_fixed0, vmx_cr4_fixed1) == -1) {
1708 	vmx_vmwrite(VMCS_GUEST_CR4, cr4);
2550 	uint64_t cr0, cr3, cr4, efer;
2561 		cr4 = vmx_vmread(VMCS_GUEST_CR4);
2562 		if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {
2965 	/* Force unsupported CR4 fields to zero. */
3383 		printf("NVMM: CR4 requirements not satisfied\n");
3481 	uint64_t msr, cr4;
3497 	cr4 = rcr4();
3499 		cr4 |= CR4_VMXE;
3501 		cr4 &= ~CR4_VMXE;
3503 	lcr4(cr4);