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