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