Searched refs:p2m_switch_domain_altp2m_by_id (Results 1 – 3 of 3) sorted by relevance
826 int p2m_switch_domain_altp2m_by_id(struct domain *d, unsigned int idx);
2344 int p2m_switch_domain_altp2m_by_id(struct domain *d, unsigned int idx) in p2m_switch_domain_altp2m_by_id() function
4611 rc = p2m_switch_domain_altp2m_by_id(d, a.u.view.view); in do_altp2m_op()
Completed in 18 milliseconds