Searched refs:flush_hardware_cached_dirty (Results 1 – 3 of 3) sorted by relevance
258 void (*flush_hardware_cached_dirty)(struct p2m_domain *p2m); member
452 if ( p2m->flush_hardware_cached_dirty ) in p2m_flush_hardware_cached_dirty()455 p2m->flush_hardware_cached_dirty(p2m); in p2m_flush_hardware_cached_dirty()
1276 p2m->flush_hardware_cached_dirty = ept_flush_pml_buffers; in ept_p2m_init()
Completed in 17 milliseconds