Searched refs:get_vte (Results 1 – 1 of 1) sorted by relevance
323 static MemTxResult get_vte(GICv3ITSState *s, uint32_t vpeid, VTEntry *vte) in get_vte() function450 if (get_vte(s, vpeid, vte) != MEMTX_OK) { in lookup_vte()