Searched refs:ept_sync_domain (Results 1 – 3 of 3) sorted by relevance
839 ept_sync_domain(p2m); in ept_set_entry()1048 ept_sync_domain(p2m); in ept_change_entry_type_global()1093 ept_sync_domain(p2m); in ept_change_entry_type_range()1106 ept_sync_domain(p2m); in ept_memory_type_changed()1145 void ept_sync_domain(struct p2m_domain *p2m) in ept_sync_domain() function
535 void ept_sync_domain(struct p2m_domain *p2m);
1799 ept_sync_domain(p2m); in vmx_domain_update_eptp()
Completed in 19 milliseconds