Searched refs:pge (Results 1 – 2 of 2) sorted by relevance
123 void ept_flush_leaf_page(uint64_t *pge, uint64_t size);
369 void ept_flush_leaf_page(uint64_t *pge, uint64_t size) in ept_flush_leaf_page() argument374 if ((*pge & EPT_MT_MASK) != EPT_UNCACHED) { in ept_flush_leaf_page()375 base_hpa = (*pge & (~(size - 1UL))); in ept_flush_leaf_page()
Completed in 4 milliseconds