Searched refs:p2m_cache_flush_range (Results 1 – 3 of 3) sorted by relevance
67 rc = p2m_cache_flush_range(d, &s, e); in arch_do_domctl()
1627 int p2m_cache_flush_range(struct domain *d, gfn_t *pstart, gfn_t end) in p2m_cache_flush_range() function1738 rc = p2m_cache_flush_range(v->domain, &start, _gfn(ULONG_MAX)); in p2m_flush_vm()
264 int p2m_cache_flush_range(struct domain *d, gfn_t *pstart, gfn_t end);
Completed in 8 milliseconds