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