130                                  uint32_t idx, MemTxResult *res)  in table_entry_addr()
180 static MemTxResult get_cte(GICv3ITSState *s, uint16_t icid, CTEntry *cte)  in get_cte()
183     MemTxResult res = MEMTX_OK;  in get_cte()
217     MemTxResult res = MEMTX_OK;  in update_ite()
249 static MemTxResult get_ite(GICv3ITSState *s, uint32_t eventid,  in get_ite()
253     MemTxResult res = MEMTX_OK;  in get_ite()
288 static MemTxResult get_dte(GICv3ITSState *s, uint32_t devid, DTEntry *dte)  in get_dte()
290     MemTxResult res = MEMTX_OK;  in get_dte()
323 static MemTxResult get_vte(GICv3ITSState *s, uint32_t vpeid, VTEntry *vte)  in get_vte()
325     MemTxResult res = MEMTX_OK;  in get_vte()
737     MemTxResult res = MEMTX_OK;  in update_cte()
798     MemTxResult res = MEMTX_OK;  in update_dte()
942     MemTxResult res = MEMTX_OK;  in update_vte()
1540 static MemTxResult gicv3_its_translation_read(void *opaque, hwaddr offset,  in gicv3_its_translation_read()
1552 static MemTxResult gicv3_its_translation_write(void *opaque, hwaddr offset,  in gicv3_its_translation_write()
1831 static MemTxResult gicv3_its_read(void *opaque, hwaddr offset, uint64_t *data,  in gicv3_its_read()
1867 static MemTxResult gicv3_its_write(void *opaque, hwaddr offset, uint64_t data,  in gicv3_its_write()