Searched refs:get_dte (Results 1 – 1 of 1) sorted by relevance
288 static MemTxResult get_dte(GICv3ITSState *s, uint32_t devid, DTEntry *dte) in get_dte() function373 if (get_dte(s, devid, dte) != MEMTX_OK) { in lookup_ite()608 if (get_dte(s, devid, &dte) != MEMTX_OK) { in process_mapti()680 if (get_dte(s, devid, &dte) != MEMTX_OK) { in process_vmapti()