Searched refs:p2ma_10 (Results 1 – 1 of 1) sorted by relevance
202 p2m_access_t p2ma_10 = p2m_access_rwx; in nestedhvm_hap_nested_page_fault() local226 &p2mt_10, &p2ma_10, &page_order_10, in nestedhvm_hap_nested_page_fault()249 ASSERT(p2ma_10 <= p2m_access_n2rwx); in nestedhvm_hap_nested_page_fault()252 switch ( p2ma_10 ) in nestedhvm_hap_nested_page_fault()257 p2ma_10 = p2m_access_rx; in nestedhvm_hap_nested_page_fault()260 p2ma_10 = p2m_access_n; in nestedhvm_hap_nested_page_fault()263 p2ma_10 = p2m_access_n; in nestedhvm_hap_nested_page_fault()265 gdprintk(XENLOG_ERR, "Unhandled p2m access type:%d\n", p2ma_10); in nestedhvm_hap_nested_page_fault()268 p2ma_10 &= (p2m_access_t)p2ma_21; in nestedhvm_hap_nested_page_fault()273 p2mt_10, p2ma_10); in nestedhvm_hap_nested_page_fault()
Completed in 2 milliseconds