Searched refs:ept_sync_context (Results 1 – 1 of 1) sorted by relevance
1472 static inline void ept_sync_context(u64 eptp) in ept_sync_context() function3760 ept_sync_context(construct_eptp(vcpu->arch.mmu.root_hpa)); in __vmx_flush_tlb()