Searched refs:ept_paddr (Results 1 – 1 of 1) sorted by relevance
213 uint64_t ept_paddr; in init_vmcs_control_fields() local221 memcpy(&ept_paddr, &eptp, sizeof(ept_paddr)); in init_vmcs_control_fields()222 vmwrite(EPT_POINTER, ept_paddr); in init_vmcs_control_fields()