Home | History | Annotate | Download | only in x86

Lines Matching defs:gpr

1610 	uint64_t type, gpr, oldcr0, realcr0, fakecr0;
1618 	gpr = __SHIFTOUT(qual, VMX_QUAL_CR_GPR);
1619 	KASSERT(gpr < 16);
1621 	if (gpr == NVMM_X64_GPR_RSP) {
1624 		fakecr0 = cpudata->gprs[gpr];
1679 	uint64_t type, gpr, oldcr4, cr4;
1686 	gpr = __SHIFTOUT(qual, VMX_QUAL_CR_GPR);
1687 	KASSERT(gpr < 16);
1689 	if (gpr == NVMM_X64_GPR_RSP) {
1690 		gpr = vmx_vmread(VMCS_GUEST_RSP);
1692 		gpr = cpudata->gprs[gpr];
1695 	if (gpr & CR4_INVALID) {
1698 	cr4 = gpr | CR4_VMXE;
1704 	if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
1718 	uint64_t type, gpr;
1730 	gpr = __SHIFTOUT(qual, VMX_QUAL_CR_GPR);
1731 	KASSERT(gpr < 16);
1734 		if (gpr == NVMM_X64_GPR_RSP) {
1737 			cpudata->gcr8 = cpudata->gprs[gpr];
1743 		if (gpr == NVMM_X64_GPR_RSP) {
1746 			cpudata->gprs[gpr] = cpudata->gcr8;