Searched refs:p2m_flush_hardware_cached_dirty (Results 1 – 4 of 4) sorted by relevance
138 p2m_flush_hardware_cached_dirty(d); in hap_track_dirty_vram()
597 void p2m_flush_hardware_cached_dirty(struct domain *d);
434 p2m_flush_hardware_cached_dirty(d); in paging_log_dirty_op()
381 void p2m_flush_hardware_cached_dirty(struct domain *d) in p2m_flush_hardware_cached_dirty() function
Completed in 19 milliseconds