Lines Matching refs:MAX_ALTP2M
194 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_teardown_altp2m()
210 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_init_altp2m()
2167 if ( idx >= MAX_ALTP2M ) in p2m_switch_vcpu_altp2m_by_id()
2256 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_flush_altp2m()
2272 if ( idx >= MAX_ALTP2M ) in p2m_init_altp2m_by_id()
2294 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_init_next_altp2m()
2315 if ( !idx || idx >= MAX_ALTP2M ) in p2m_destroy_altp2m_by_id()
2349 if ( idx >= MAX_ALTP2M ) in p2m_switch_domain_altp2m_by_id()
2387 if ( idx >= MAX_ALTP2M || d->arch.altp2m_eptp[idx] == mfn_x(INVALID_MFN) ) in p2m_change_altp2m_gfn()
2483 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_altp2m_propagate_change()
2506 for ( i = 0; i < MAX_ALTP2M; i++ ) in p2m_altp2m_propagate_change()