Searched refs:eptp_gpa (Results 1 – 3 of 3) sorted by relevance
120 vmx->eptp_gpa = vm->stage2_mmu.pgd; in vcpu_alloc_vmx()210 if (vmx->eptp_gpa) { in init_vmcs_control_fields()211 uint64_t eptp = vmx->eptp_gpa | EPTP_WB | EPTP_PWL_4; in init_vmcs_control_fields()213 TEST_ASSERT((vmx->eptp_gpa & ~PHYSICAL_PAGE_MASK) == 0, in init_vmcs_control_fields()
102 if (vmx->eptp_gpa) in l1_vmx_code()
527 uint64_t eptp_gpa; member