xref: /qemu/hw/intc/arm_gicv3_its.c (revision 58b88779f00707b6231d827637b5a3d498f9fe28)
118f6290aSShashi Mallela /*
218f6290aSShashi Mallela  * ITS emulation for a GICv3-based system
318f6290aSShashi Mallela  *
418f6290aSShashi Mallela  * Copyright Linaro.org 2021
518f6290aSShashi Mallela  *
618f6290aSShashi Mallela  * Authors:
718f6290aSShashi Mallela  *  Shashi Mallela <shashi.mallela@linaro.org>
818f6290aSShashi Mallela  *
918f6290aSShashi Mallela  * This work is licensed under the terms of the GNU GPL, version 2 or (at your
1018f6290aSShashi Mallela  * option) any later version.  See the COPYING file in the top-level directory.
1118f6290aSShashi Mallela  *
1218f6290aSShashi Mallela  */
1318f6290aSShashi Mallela 
1418f6290aSShashi Mallela #include "qemu/osdep.h"
1518f6290aSShashi Mallela #include "qemu/log.h"
1618f6290aSShashi Mallela #include "hw/qdev-properties.h"
1718f6290aSShashi Mallela #include "hw/intc/arm_gicv3_its_common.h"
1818f6290aSShashi Mallela #include "gicv3_internal.h"
1918f6290aSShashi Mallela #include "qom/object.h"
2018f6290aSShashi Mallela #include "qapi/error.h"
2118f6290aSShashi Mallela 
2218f6290aSShashi Mallela typedef struct GICv3ITSClass GICv3ITSClass;
2318f6290aSShashi Mallela /* This is reusing the GICv3ITSState typedef from ARM_GICV3_ITS_COMMON */
2418f6290aSShashi Mallela DECLARE_OBJ_CHECKERS(GICv3ITSState, GICv3ITSClass,
2518f6290aSShashi Mallela                      ARM_GICV3_ITS, TYPE_ARM_GICV3_ITS)
2618f6290aSShashi Mallela 
2718f6290aSShashi Mallela struct GICv3ITSClass {
2818f6290aSShashi Mallela     GICv3ITSCommonClass parent_class;
2918f6290aSShashi Mallela     void (*parent_reset)(DeviceState *dev);
3018f6290aSShashi Mallela };
3118f6290aSShashi Mallela 
32c694cb4cSShashi Mallela /*
33c694cb4cSShashi Mallela  * This is an internal enum used to distinguish between LPI triggered
34c694cb4cSShashi Mallela  * via command queue and LPI triggered via gits_translater write.
35c694cb4cSShashi Mallela  */
36c694cb4cSShashi Mallela typedef enum ItsCmdType {
37c694cb4cSShashi Mallela     NONE = 0, /* internal indication for GITS_TRANSLATER write */
38c694cb4cSShashi Mallela     CLEAR = 1,
39c694cb4cSShashi Mallela     DISCARD = 2,
40c694cb4cSShashi Mallela     INTERRUPT = 3,
41c694cb4cSShashi Mallela } ItsCmdType;
42c694cb4cSShashi Mallela 
43c694cb4cSShashi Mallela typedef struct {
44c694cb4cSShashi Mallela     uint32_t iteh;
45c694cb4cSShashi Mallela     uint64_t itel;
46c694cb4cSShashi Mallela } IteEntry;
47c694cb4cSShashi Mallela 
48ef011555SPeter Maydell /*
49ef011555SPeter Maydell  * The ITS spec permits a range of CONSTRAINED UNPREDICTABLE options
50ef011555SPeter Maydell  * if a command parameter is not correct. These include both "stall
51ef011555SPeter Maydell  * processing of the command queue" and "ignore this command, and
52ef011555SPeter Maydell  * keep processing the queue". In our implementation we choose that
53ef011555SPeter Maydell  * memory transaction errors reading the command packet provoke a
54ef011555SPeter Maydell  * stall, but errors in parameters cause us to ignore the command
55ef011555SPeter Maydell  * and continue processing.
56ef011555SPeter Maydell  * The process_* functions which handle individual ITS commands all
57ef011555SPeter Maydell  * return an ItsCmdResult which tells process_cmdq() whether it should
58ef011555SPeter Maydell  * stall or keep going.
59ef011555SPeter Maydell  */
60ef011555SPeter Maydell typedef enum ItsCmdResult {
61ef011555SPeter Maydell     CMD_STALL = 0,
62ef011555SPeter Maydell     CMD_CONTINUE = 1,
63ef011555SPeter Maydell } ItsCmdResult;
64ef011555SPeter Maydell 
651b08e436SShashi Mallela static uint64_t baser_base_addr(uint64_t value, uint32_t page_sz)
661b08e436SShashi Mallela {
671b08e436SShashi Mallela     uint64_t result = 0;
681b08e436SShashi Mallela 
691b08e436SShashi Mallela     switch (page_sz) {
701b08e436SShashi Mallela     case GITS_PAGE_SIZE_4K:
711b08e436SShashi Mallela     case GITS_PAGE_SIZE_16K:
721b08e436SShashi Mallela         result = FIELD_EX64(value, GITS_BASER, PHYADDR) << 12;
731b08e436SShashi Mallela         break;
741b08e436SShashi Mallela 
751b08e436SShashi Mallela     case GITS_PAGE_SIZE_64K:
761b08e436SShashi Mallela         result = FIELD_EX64(value, GITS_BASER, PHYADDRL_64K) << 16;
771b08e436SShashi Mallela         result |= FIELD_EX64(value, GITS_BASER, PHYADDRH_64K) << 48;
781b08e436SShashi Mallela         break;
791b08e436SShashi Mallela 
801b08e436SShashi Mallela     default:
811b08e436SShashi Mallela         break;
821b08e436SShashi Mallela     }
831b08e436SShashi Mallela     return result;
841b08e436SShashi Mallela }
851b08e436SShashi Mallela 
86d050f80fSPeter Maydell static uint64_t table_entry_addr(GICv3ITSState *s, TableDesc *td,
87d050f80fSPeter Maydell                                  uint32_t idx, MemTxResult *res)
88d050f80fSPeter Maydell {
89d050f80fSPeter Maydell     /*
90d050f80fSPeter Maydell      * Given a TableDesc describing one of the ITS in-guest-memory
91d050f80fSPeter Maydell      * tables and an index into it, return the guest address
92d050f80fSPeter Maydell      * corresponding to that table entry.
93d050f80fSPeter Maydell      * If there was a memory error reading the L1 table of an
94d050f80fSPeter Maydell      * indirect table, *res is set accordingly, and we return -1.
95d050f80fSPeter Maydell      * If the L1 table entry is marked not valid, we return -1 with
96d050f80fSPeter Maydell      * *res set to MEMTX_OK.
97d050f80fSPeter Maydell      *
98d050f80fSPeter Maydell      * The specification defines the format of level 1 entries of a
99d050f80fSPeter Maydell      * 2-level table, but the format of level 2 entries and the format
100d050f80fSPeter Maydell      * of flat-mapped tables is IMPDEF.
101d050f80fSPeter Maydell      */
102d050f80fSPeter Maydell     AddressSpace *as = &s->gicv3->dma_as;
103d050f80fSPeter Maydell     uint32_t l2idx;
104d050f80fSPeter Maydell     uint64_t l2;
105d050f80fSPeter Maydell     uint32_t num_l2_entries;
106d050f80fSPeter Maydell 
107d050f80fSPeter Maydell     *res = MEMTX_OK;
108d050f80fSPeter Maydell 
109d050f80fSPeter Maydell     if (!td->indirect) {
110d050f80fSPeter Maydell         /* Single level table */
111d050f80fSPeter Maydell         return td->base_addr + idx * td->entry_sz;
112d050f80fSPeter Maydell     }
113d050f80fSPeter Maydell 
114d050f80fSPeter Maydell     /* Two level table */
115d050f80fSPeter Maydell     l2idx = idx / (td->page_sz / L1TABLE_ENTRY_SIZE);
116d050f80fSPeter Maydell 
117d050f80fSPeter Maydell     l2 = address_space_ldq_le(as,
118d050f80fSPeter Maydell                               td->base_addr + (l2idx * L1TABLE_ENTRY_SIZE),
119d050f80fSPeter Maydell                               MEMTXATTRS_UNSPECIFIED, res);
120d050f80fSPeter Maydell     if (*res != MEMTX_OK) {
121d050f80fSPeter Maydell         return -1;
122d050f80fSPeter Maydell     }
123d050f80fSPeter Maydell     if (!(l2 & L2_TABLE_VALID_MASK)) {
124d050f80fSPeter Maydell         return -1;
125d050f80fSPeter Maydell     }
126d050f80fSPeter Maydell 
127d050f80fSPeter Maydell     num_l2_entries = td->page_sz / td->entry_sz;
128d050f80fSPeter Maydell     return (l2 & ((1ULL << 51) - 1)) + (idx % num_l2_entries) * td->entry_sz;
129d050f80fSPeter Maydell }
130d050f80fSPeter Maydell 
131c694cb4cSShashi Mallela static bool get_cte(GICv3ITSState *s, uint16_t icid, uint64_t *cte,
132c694cb4cSShashi Mallela                     MemTxResult *res)
133c694cb4cSShashi Mallela {
134c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
135d050f80fSPeter Maydell     uint64_t entry_addr = table_entry_addr(s, &s->ct, icid, res);
136c694cb4cSShashi Mallela 
137d050f80fSPeter Maydell     if (entry_addr == -1) {
138d050f80fSPeter Maydell         return false; /* not valid */
139c694cb4cSShashi Mallela     }
140c694cb4cSShashi Mallela 
141d050f80fSPeter Maydell     *cte = address_space_ldq_le(as, entry_addr, MEMTXATTRS_UNSPECIFIED, res);
142437dc0eaSPeter Maydell     return FIELD_EX64(*cte, CTE, VALID);
143c694cb4cSShashi Mallela }
144c694cb4cSShashi Mallela 
145c694cb4cSShashi Mallela static bool update_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,
146c694cb4cSShashi Mallela                        IteEntry ite)
147c694cb4cSShashi Mallela {
148c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
149c694cb4cSShashi Mallela     uint64_t itt_addr;
150c694cb4cSShashi Mallela     MemTxResult res = MEMTX_OK;
151c694cb4cSShashi Mallela 
152e07f8445SPeter Maydell     itt_addr = FIELD_EX64(dte, DTE, ITTADDR);
153c694cb4cSShashi Mallela     itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */
154c694cb4cSShashi Mallela 
155c694cb4cSShashi Mallela     address_space_stq_le(as, itt_addr + (eventid * (sizeof(uint64_t) +
156c694cb4cSShashi Mallela                          sizeof(uint32_t))), ite.itel, MEMTXATTRS_UNSPECIFIED,
157c694cb4cSShashi Mallela                          &res);
158c694cb4cSShashi Mallela 
159c694cb4cSShashi Mallela     if (res == MEMTX_OK) {
160c694cb4cSShashi Mallela         address_space_stl_le(as, itt_addr + (eventid * (sizeof(uint64_t) +
161c694cb4cSShashi Mallela                              sizeof(uint32_t))) + sizeof(uint32_t), ite.iteh,
162c694cb4cSShashi Mallela                              MEMTXATTRS_UNSPECIFIED, &res);
163c694cb4cSShashi Mallela     }
164c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
165c694cb4cSShashi Mallela         return false;
166c694cb4cSShashi Mallela     } else {
167c694cb4cSShashi Mallela         return true;
168c694cb4cSShashi Mallela     }
169c694cb4cSShashi Mallela }
170c694cb4cSShashi Mallela 
171c694cb4cSShashi Mallela static bool get_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,
172c694cb4cSShashi Mallela                     uint16_t *icid, uint32_t *pIntid, MemTxResult *res)
173c694cb4cSShashi Mallela {
174c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
175c694cb4cSShashi Mallela     uint64_t itt_addr;
176c694cb4cSShashi Mallela     bool status = false;
177c694cb4cSShashi Mallela     IteEntry ite = {};
178c694cb4cSShashi Mallela 
179e07f8445SPeter Maydell     itt_addr = FIELD_EX64(dte, DTE, ITTADDR);
180c694cb4cSShashi Mallela     itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */
181c694cb4cSShashi Mallela 
182c694cb4cSShashi Mallela     ite.itel = address_space_ldq_le(as, itt_addr +
183c694cb4cSShashi Mallela                                     (eventid * (sizeof(uint64_t) +
184c694cb4cSShashi Mallela                                     sizeof(uint32_t))), MEMTXATTRS_UNSPECIFIED,
185c694cb4cSShashi Mallela                                     res);
186c694cb4cSShashi Mallela 
187c694cb4cSShashi Mallela     if (*res == MEMTX_OK) {
188c694cb4cSShashi Mallela         ite.iteh = address_space_ldl_le(as, itt_addr +
189c694cb4cSShashi Mallela                                         (eventid * (sizeof(uint64_t) +
190c694cb4cSShashi Mallela                                         sizeof(uint32_t))) + sizeof(uint32_t),
191c694cb4cSShashi Mallela                                         MEMTXATTRS_UNSPECIFIED, res);
192c694cb4cSShashi Mallela 
193c694cb4cSShashi Mallela         if (*res == MEMTX_OK) {
194764d6ba1SPeter Maydell             if (FIELD_EX64(ite.itel, ITE_L, VALID)) {
195764d6ba1SPeter Maydell                 int inttype = FIELD_EX64(ite.itel, ITE_L, INTTYPE);
196764d6ba1SPeter Maydell                 if (inttype == ITE_INTTYPE_PHYSICAL) {
197764d6ba1SPeter Maydell                     *pIntid = FIELD_EX64(ite.itel, ITE_L, INTID);
198764d6ba1SPeter Maydell                     *icid = FIELD_EX32(ite.iteh, ITE_H, ICID);
199c694cb4cSShashi Mallela                     status = true;
200c694cb4cSShashi Mallela                 }
201c694cb4cSShashi Mallela             }
202c694cb4cSShashi Mallela         }
203c694cb4cSShashi Mallela     }
204c694cb4cSShashi Mallela     return status;
205c694cb4cSShashi Mallela }
206c694cb4cSShashi Mallela 
207c694cb4cSShashi Mallela static uint64_t get_dte(GICv3ITSState *s, uint32_t devid, MemTxResult *res)
208c694cb4cSShashi Mallela {
209c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
210d050f80fSPeter Maydell     uint64_t entry_addr = table_entry_addr(s, &s->dt, devid, res);
211c694cb4cSShashi Mallela 
212d050f80fSPeter Maydell     if (entry_addr == -1) {
213d050f80fSPeter Maydell         return 0; /* a DTE entry with the Valid bit clear */
214c694cb4cSShashi Mallela     }
215d050f80fSPeter Maydell     return address_space_ldq_le(as, entry_addr, MEMTXATTRS_UNSPECIFIED, res);
216c694cb4cSShashi Mallela }
217c694cb4cSShashi Mallela 
218c694cb4cSShashi Mallela /*
219c694cb4cSShashi Mallela  * This function handles the processing of following commands based on
220c694cb4cSShashi Mallela  * the ItsCmdType parameter passed:-
221c694cb4cSShashi Mallela  * 1. triggering of lpi interrupt translation via ITS INT command
222c694cb4cSShashi Mallela  * 2. triggering of lpi interrupt translation via gits_translater register
223c694cb4cSShashi Mallela  * 3. handling of ITS CLEAR command
224c694cb4cSShashi Mallela  * 4. handling of ITS DISCARD command
225c694cb4cSShashi Mallela  */
226ef011555SPeter Maydell static ItsCmdResult process_its_cmd(GICv3ITSState *s, uint64_t value,
227ef011555SPeter Maydell                                     uint32_t offset, ItsCmdType cmd)
228c694cb4cSShashi Mallela {
229c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
230c694cb4cSShashi Mallela     uint32_t devid, eventid;
231c694cb4cSShashi Mallela     MemTxResult res = MEMTX_OK;
232c694cb4cSShashi Mallela     bool dte_valid;
233c694cb4cSShashi Mallela     uint64_t dte = 0;
2348f809f69SPeter Maydell     uint64_t num_eventids;
235c694cb4cSShashi Mallela     uint16_t icid = 0;
236c694cb4cSShashi Mallela     uint32_t pIntid = 0;
237c694cb4cSShashi Mallela     bool ite_valid = false;
238c694cb4cSShashi Mallela     uint64_t cte = 0;
239c694cb4cSShashi Mallela     bool cte_valid = false;
24017fb5e36SShashi Mallela     uint64_t rdbase;
241c694cb4cSShashi Mallela 
242c694cb4cSShashi Mallela     if (cmd == NONE) {
243c694cb4cSShashi Mallela         devid = offset;
244c694cb4cSShashi Mallela     } else {
245c694cb4cSShashi Mallela         devid = ((value & DEVID_MASK) >> DEVID_SHIFT);
246c694cb4cSShashi Mallela 
247c694cb4cSShashi Mallela         offset += NUM_BYTES_IN_DW;
248c694cb4cSShashi Mallela         value = address_space_ldq_le(as, s->cq.base_addr + offset,
249c694cb4cSShashi Mallela                                      MEMTXATTRS_UNSPECIFIED, &res);
250c694cb4cSShashi Mallela     }
251c694cb4cSShashi Mallela 
252c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
253593a7cc2SPeter Maydell         return CMD_STALL;
254c694cb4cSShashi Mallela     }
255c694cb4cSShashi Mallela 
256c694cb4cSShashi Mallela     eventid = (value & EVENTID_MASK);
257c694cb4cSShashi Mallela 
258b13148d9SPeter Maydell     if (devid >= s->dt.num_ids) {
259b13148d9SPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
260b13148d9SPeter Maydell                       "%s: invalid command attributes: devid %d>=%d",
261b13148d9SPeter Maydell                       __func__, devid, s->dt.num_ids);
262b13148d9SPeter Maydell         return CMD_CONTINUE;
263b13148d9SPeter Maydell     }
264b13148d9SPeter Maydell 
265c694cb4cSShashi Mallela     dte = get_dte(s, devid, &res);
266c694cb4cSShashi Mallela 
267c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
268593a7cc2SPeter Maydell         return CMD_STALL;
269c694cb4cSShashi Mallela     }
270e07f8445SPeter Maydell     dte_valid = FIELD_EX64(dte, DTE, VALID);
271c694cb4cSShashi Mallela 
272be0ed8fbSPeter Maydell     if (!dte_valid) {
273229c57b1SAlex Bennée         qemu_log_mask(LOG_GUEST_ERROR,
274229c57b1SAlex Bennée                       "%s: invalid command attributes: "
275be0ed8fbSPeter Maydell                       "invalid dte: %"PRIx64" for %d\n",
276be0ed8fbSPeter Maydell                       __func__, dte, devid);
277593a7cc2SPeter Maydell         return CMD_CONTINUE;
278c694cb4cSShashi Mallela     }
279c694cb4cSShashi Mallela 
280be0ed8fbSPeter Maydell     num_eventids = 1ULL << (FIELD_EX64(dte, DTE, SIZE) + 1);
281229c57b1SAlex Bennée 
282b13148d9SPeter Maydell     if (eventid >= num_eventids) {
283b13148d9SPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
284b13148d9SPeter Maydell                       "%s: invalid command attributes: eventid %d >= %"
285b13148d9SPeter Maydell                       PRId64 "\n",
286b13148d9SPeter Maydell                       __func__, eventid, num_eventids);
287b13148d9SPeter Maydell         return CMD_CONTINUE;
288b13148d9SPeter Maydell     }
289b13148d9SPeter Maydell 
290be0ed8fbSPeter Maydell     ite_valid = get_ite(s, eventid, dte, &icid, &pIntid, &res);
291be0ed8fbSPeter Maydell     if (res != MEMTX_OK) {
292be0ed8fbSPeter Maydell         return CMD_STALL;
293be0ed8fbSPeter Maydell     }
294be0ed8fbSPeter Maydell 
295be0ed8fbSPeter Maydell     if (!ite_valid) {
296be0ed8fbSPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
297be0ed8fbSPeter Maydell                       "%s: invalid command attributes: invalid ITE\n",
298be0ed8fbSPeter Maydell                       __func__);
299be0ed8fbSPeter Maydell         return CMD_CONTINUE;
300be0ed8fbSPeter Maydell     }
301be0ed8fbSPeter Maydell 
302*58b88779SPeter Maydell     if (icid >= s->ct.num_ids) {
303*58b88779SPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
304*58b88779SPeter Maydell                       "%s: invalid ICID 0x%x in ITE (table corrupted?)\n",
305*58b88779SPeter Maydell                       __func__, icid);
306*58b88779SPeter Maydell         return CMD_CONTINUE;
307*58b88779SPeter Maydell     }
308*58b88779SPeter Maydell 
309be0ed8fbSPeter Maydell     cte_valid = get_cte(s, icid, &cte, &res);
310be0ed8fbSPeter Maydell     if (res != MEMTX_OK) {
311be0ed8fbSPeter Maydell         return CMD_STALL;
312be0ed8fbSPeter Maydell     }
313be0ed8fbSPeter Maydell     if (!cte_valid) {
314be0ed8fbSPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
315be0ed8fbSPeter Maydell                       "%s: invalid command attributes: "
316be0ed8fbSPeter Maydell                       "invalid cte: %"PRIx64"\n",
317be0ed8fbSPeter Maydell                       __func__, cte);
318be0ed8fbSPeter Maydell         return CMD_CONTINUE;
319be0ed8fbSPeter Maydell     }
320be0ed8fbSPeter Maydell 
321c694cb4cSShashi Mallela     /*
322c694cb4cSShashi Mallela      * Current implementation only supports rdbase == procnum
323c694cb4cSShashi Mallela      * Hence rdbase physical address is ignored
324c694cb4cSShashi Mallela      */
325437dc0eaSPeter Maydell     rdbase = FIELD_EX64(cte, CTE, RDBASE);
32617fb5e36SShashi Mallela 
327a120157bSPeter Maydell     if (rdbase >= s->gicv3->num_cpu) {
328593a7cc2SPeter Maydell         return CMD_CONTINUE;
32917fb5e36SShashi Mallela     }
33017fb5e36SShashi Mallela 
33117fb5e36SShashi Mallela     if ((cmd == CLEAR) || (cmd == DISCARD)) {
33217fb5e36SShashi Mallela         gicv3_redist_process_lpi(&s->gicv3->cpu[rdbase], pIntid, 0);
33317fb5e36SShashi Mallela     } else {
33417fb5e36SShashi Mallela         gicv3_redist_process_lpi(&s->gicv3->cpu[rdbase], pIntid, 1);
33517fb5e36SShashi Mallela     }
33617fb5e36SShashi Mallela 
337c694cb4cSShashi Mallela     if (cmd == DISCARD) {
338c694cb4cSShashi Mallela         IteEntry ite = {};
339c694cb4cSShashi Mallela         /* remove mapping from interrupt translation table */
340593a7cc2SPeter Maydell         return update_ite(s, eventid, dte, ite) ? CMD_CONTINUE : CMD_STALL;
341c694cb4cSShashi Mallela     }
342593a7cc2SPeter Maydell     return CMD_CONTINUE;
343c694cb4cSShashi Mallela }
344c694cb4cSShashi Mallela 
345ef011555SPeter Maydell static ItsCmdResult process_mapti(GICv3ITSState *s, uint64_t value,
346ef011555SPeter Maydell                                   uint32_t offset, bool ignore_pInt)
347c694cb4cSShashi Mallela {
348c694cb4cSShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
349c694cb4cSShashi Mallela     uint32_t devid, eventid;
350c694cb4cSShashi Mallela     uint32_t pIntid = 0;
3518f809f69SPeter Maydell     uint64_t num_eventids;
352905720f1SPeter Maydell     uint32_t num_intids;
353c694cb4cSShashi Mallela     bool dte_valid;
354c694cb4cSShashi Mallela     MemTxResult res = MEMTX_OK;
355c694cb4cSShashi Mallela     uint16_t icid = 0;
356c694cb4cSShashi Mallela     uint64_t dte = 0;
3570241f731SPeter Maydell     IteEntry ite = {};
358c694cb4cSShashi Mallela 
359c694cb4cSShashi Mallela     devid = ((value & DEVID_MASK) >> DEVID_SHIFT);
360c694cb4cSShashi Mallela     offset += NUM_BYTES_IN_DW;
361c694cb4cSShashi Mallela     value = address_space_ldq_le(as, s->cq.base_addr + offset,
362c694cb4cSShashi Mallela                                  MEMTXATTRS_UNSPECIFIED, &res);
363c694cb4cSShashi Mallela 
364c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
3650241f731SPeter Maydell         return CMD_STALL;
366c694cb4cSShashi Mallela     }
367c694cb4cSShashi Mallela 
368c694cb4cSShashi Mallela     eventid = (value & EVENTID_MASK);
369c694cb4cSShashi Mallela 
370b87fab1cSPeter Maydell     if (ignore_pInt) {
371b87fab1cSPeter Maydell         pIntid = eventid;
372b87fab1cSPeter Maydell     } else {
373c694cb4cSShashi Mallela         pIntid = ((value & pINTID_MASK) >> pINTID_SHIFT);
374c694cb4cSShashi Mallela     }
375c694cb4cSShashi Mallela 
376c694cb4cSShashi Mallela     offset += NUM_BYTES_IN_DW;
377c694cb4cSShashi Mallela     value = address_space_ldq_le(as, s->cq.base_addr + offset,
378c694cb4cSShashi Mallela                                  MEMTXATTRS_UNSPECIFIED, &res);
379c694cb4cSShashi Mallela 
380c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
3810241f731SPeter Maydell         return CMD_STALL;
382c694cb4cSShashi Mallela     }
383c694cb4cSShashi Mallela 
384c694cb4cSShashi Mallela     icid = value & ICID_MASK;
385c694cb4cSShashi Mallela 
386b13148d9SPeter Maydell     if (devid >= s->dt.num_ids) {
387b13148d9SPeter Maydell         qemu_log_mask(LOG_GUEST_ERROR,
388b13148d9SPeter Maydell                       "%s: invalid command attributes: devid %d>=%d",
389b13148d9SPeter Maydell                       __func__, devid, s->dt.num_ids);
390b13148d9SPeter Maydell         return CMD_CONTINUE;
391b13148d9SPeter Maydell     }
392b13148d9SPeter Maydell 
393c694cb4cSShashi Mallela     dte = get_dte(s, devid, &res);
394c694cb4cSShashi Mallela 
395c694cb4cSShashi Mallela     if (res != MEMTX_OK) {
3960241f731SPeter Maydell         return CMD_STALL;
397c694cb4cSShashi Mallela     }
398e07f8445SPeter Maydell     dte_valid = FIELD_EX64(dte, DTE, VALID);
3998f809f69SPeter Maydell     num_eventids = 1ULL << (FIELD_EX64(dte, DTE, SIZE) + 1);
400905720f1SPeter Maydell     num_intids = 1ULL << (GICD_TYPER_IDBITS + 1);
401c694cb4cSShashi Mallela 
402b13148d9SPeter Maydell     if ((icid >= s->ct.num_ids)
4038f809f69SPeter Maydell             || !dte_valid || (eventid >= num_eventids) ||
404905720f1SPeter Maydell             (((pIntid < GICV3_LPI_INTID_START) || (pIntid >= num_intids)) &&
405b87fab1cSPeter Maydell              (pIntid != INTID_SPURIOUS))) {
406c694cb4cSShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
407c694cb4cSShashi Mallela                       "%s: invalid command attributes "
408b13148d9SPeter Maydell                       "icid %d or eventid %d or pIntid %d or"
409b13148d9SPeter Maydell                       "unmapped dte %d\n", __func__, icid, eventid,
410c694cb4cSShashi Mallela                       pIntid, dte_valid);
411c694cb4cSShashi Mallela         /*
412c694cb4cSShashi Mallela          * in this implementation, in case of error
413c694cb4cSShashi Mallela          * we ignore this command and move onto the next
414c694cb4cSShashi Mallela          * command in the queue
415c694cb4cSShashi Mallela          */
4160241f731SPeter Maydell         return CMD_CONTINUE;
4170241f731SPeter Maydell     }
4180241f731SPeter Maydell 
419c694cb4cSShashi Mallela     /* add ite entry to interrupt translation table */
420764d6ba1SPeter Maydell     ite.itel = FIELD_DP64(ite.itel, ITE_L, VALID, dte_valid);
421764d6ba1SPeter Maydell     ite.itel = FIELD_DP64(ite.itel, ITE_L, INTTYPE, ITE_INTTYPE_PHYSICAL);
422764d6ba1SPeter Maydell     ite.itel = FIELD_DP64(ite.itel, ITE_L, INTID, pIntid);
423764d6ba1SPeter Maydell     ite.itel = FIELD_DP64(ite.itel, ITE_L, DOORBELL, INTID_SPURIOUS);
424764d6ba1SPeter Maydell     ite.iteh = FIELD_DP32(ite.iteh, ITE_H, ICID, icid);
425c694cb4cSShashi Mallela 
4260241f731SPeter Maydell     return update_ite(s, eventid, dte, ite) ? CMD_CONTINUE : CMD_STALL;
427c694cb4cSShashi Mallela }
428c694cb4cSShashi Mallela 
4297eca39e0SShashi Mallela static bool update_cte(GICv3ITSState *s, uint16_t icid, bool valid,
4307eca39e0SShashi Mallela                        uint64_t rdbase)
4317eca39e0SShashi Mallela {
4327eca39e0SShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
433d050f80fSPeter Maydell     uint64_t entry_addr;
4347eca39e0SShashi Mallela     uint64_t cte = 0;
4357eca39e0SShashi Mallela     MemTxResult res = MEMTX_OK;
4367eca39e0SShashi Mallela 
4377eca39e0SShashi Mallela     if (!s->ct.valid) {
4387eca39e0SShashi Mallela         return true;
4397eca39e0SShashi Mallela     }
4407eca39e0SShashi Mallela 
4417eca39e0SShashi Mallela     if (valid) {
4427eca39e0SShashi Mallela         /* add mapping entry to collection table */
443437dc0eaSPeter Maydell         cte = FIELD_DP64(cte, CTE, VALID, 1);
444437dc0eaSPeter Maydell         cte = FIELD_DP64(cte, CTE, RDBASE, rdbase);
4457eca39e0SShashi Mallela     }
4467eca39e0SShashi Mallela 
447d050f80fSPeter Maydell     entry_addr = table_entry_addr(s, &s->ct, icid, &res);
4487eca39e0SShashi Mallela     if (res != MEMTX_OK) {
449d050f80fSPeter Maydell         /* memory access error: stall */
4507eca39e0SShashi Mallela         return false;
4517eca39e0SShashi Mallela     }
452d050f80fSPeter Maydell     if (entry_addr == -1) {
453d050f80fSPeter Maydell         /* No L2 table for this index: discard write and continue */
4547eca39e0SShashi Mallela         return true;
4557eca39e0SShashi Mallela     }
456d050f80fSPeter Maydell 
457d050f80fSPeter Maydell     address_space_stq_le(as, entry_addr, cte, MEMTXATTRS_UNSPECIFIED, &res);
458d050f80fSPeter Maydell     return res == MEMTX_OK;
4597eca39e0SShashi Mallela }
4607eca39e0SShashi Mallela 
461ef011555SPeter Maydell static ItsCmdResult process_mapc(GICv3ITSState *s, uint32_t offset)
4627eca39e0SShashi Mallela {
4637eca39e0SShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
4647eca39e0SShashi Mallela     uint16_t icid;
4657eca39e0SShashi Mallela     uint64_t rdbase;
4667eca39e0SShashi Mallela     bool valid;
4677eca39e0SShashi Mallela     MemTxResult res = MEMTX_OK;
4687eca39e0SShashi Mallela     uint64_t value;
4697eca39e0SShashi Mallela 
4707eca39e0SShashi Mallela     offset += NUM_BYTES_IN_DW;
4717eca39e0SShashi Mallela     offset += NUM_BYTES_IN_DW;
4727eca39e0SShashi Mallela 
4737eca39e0SShashi Mallela     value = address_space_ldq_le(as, s->cq.base_addr + offset,
4747eca39e0SShashi Mallela                                  MEMTXATTRS_UNSPECIFIED, &res);
4757eca39e0SShashi Mallela 
4767eca39e0SShashi Mallela     if (res != MEMTX_OK) {
477f6675196SPeter Maydell         return CMD_STALL;
4787eca39e0SShashi Mallela     }
4797eca39e0SShashi Mallela 
4807eca39e0SShashi Mallela     icid = value & ICID_MASK;
4817eca39e0SShashi Mallela 
4827eca39e0SShashi Mallela     rdbase = (value & R_MAPC_RDBASE_MASK) >> R_MAPC_RDBASE_SHIFT;
4837eca39e0SShashi Mallela     rdbase &= RDBASE_PROCNUM_MASK;
4847eca39e0SShashi Mallela 
4857eca39e0SShashi Mallela     valid = (value & CMD_FIELD_VALID_MASK);
4867eca39e0SShashi Mallela 
48780dcd37fSPeter Maydell     if ((icid >= s->ct.num_ids) || (rdbase >= s->gicv3->num_cpu)) {
4887eca39e0SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
4897eca39e0SShashi Mallela                       "ITS MAPC: invalid collection table attributes "
4907eca39e0SShashi Mallela                       "icid %d rdbase %" PRIu64 "\n",  icid, rdbase);
4917eca39e0SShashi Mallela         /*
4927eca39e0SShashi Mallela          * in this implementation, in case of error
4937eca39e0SShashi Mallela          * we ignore this command and move onto the next
4947eca39e0SShashi Mallela          * command in the queue
4957eca39e0SShashi Mallela          */
496f6675196SPeter Maydell         return CMD_CONTINUE;
4977eca39e0SShashi Mallela     }
4987eca39e0SShashi Mallela 
499f6675196SPeter Maydell     return update_cte(s, icid, valid, rdbase) ? CMD_CONTINUE : CMD_STALL;
5007eca39e0SShashi Mallela }
5017eca39e0SShashi Mallela 
5027eca39e0SShashi Mallela static bool update_dte(GICv3ITSState *s, uint32_t devid, bool valid,
5037eca39e0SShashi Mallela                        uint8_t size, uint64_t itt_addr)
5047eca39e0SShashi Mallela {
5057eca39e0SShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
506d050f80fSPeter Maydell     uint64_t entry_addr;
5077eca39e0SShashi Mallela     uint64_t dte = 0;
5087eca39e0SShashi Mallela     MemTxResult res = MEMTX_OK;
5097eca39e0SShashi Mallela 
5107eca39e0SShashi Mallela     if (s->dt.valid) {
5117eca39e0SShashi Mallela         if (valid) {
5127eca39e0SShashi Mallela             /* add mapping entry to device table */
513e07f8445SPeter Maydell             dte = FIELD_DP64(dte, DTE, VALID, 1);
514e07f8445SPeter Maydell             dte = FIELD_DP64(dte, DTE, SIZE, size);
515e07f8445SPeter Maydell             dte = FIELD_DP64(dte, DTE, ITTADDR, itt_addr);
5167eca39e0SShashi Mallela         }
5177eca39e0SShashi Mallela     } else {
5187eca39e0SShashi Mallela         return true;
5197eca39e0SShashi Mallela     }
5207eca39e0SShashi Mallela 
521d050f80fSPeter Maydell     entry_addr = table_entry_addr(s, &s->dt, devid, &res);
5227eca39e0SShashi Mallela     if (res != MEMTX_OK) {
523d050f80fSPeter Maydell         /* memory access error: stall */
5247eca39e0SShashi Mallela         return false;
5257eca39e0SShashi Mallela     }
526d050f80fSPeter Maydell     if (entry_addr == -1) {
527d050f80fSPeter Maydell         /* No L2 table for this index: discard write and continue */
5287eca39e0SShashi Mallela         return true;
5297eca39e0SShashi Mallela     }
530d050f80fSPeter Maydell     address_space_stq_le(as, entry_addr, dte, MEMTXATTRS_UNSPECIFIED, &res);
531d050f80fSPeter Maydell     return res == MEMTX_OK;
5327eca39e0SShashi Mallela }
5337eca39e0SShashi Mallela 
534ef011555SPeter Maydell static ItsCmdResult process_mapd(GICv3ITSState *s, uint64_t value,
535ef011555SPeter Maydell                                  uint32_t offset)
5367eca39e0SShashi Mallela {
5377eca39e0SShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
5387eca39e0SShashi Mallela     uint32_t devid;
5397eca39e0SShashi Mallela     uint8_t size;
5407eca39e0SShashi Mallela     uint64_t itt_addr;
5417eca39e0SShashi Mallela     bool valid;
5427eca39e0SShashi Mallela     MemTxResult res = MEMTX_OK;
5437eca39e0SShashi Mallela 
5447eca39e0SShashi Mallela     devid = ((value & DEVID_MASK) >> DEVID_SHIFT);
5457eca39e0SShashi Mallela 
5467eca39e0SShashi Mallela     offset += NUM_BYTES_IN_DW;
5477eca39e0SShashi Mallela     value = address_space_ldq_le(as, s->cq.base_addr + offset,
5487eca39e0SShashi Mallela                                  MEMTXATTRS_UNSPECIFIED, &res);
5497eca39e0SShashi Mallela 
5507eca39e0SShashi Mallela     if (res != MEMTX_OK) {
55100d46e72SPeter Maydell         return CMD_STALL;
5527eca39e0SShashi Mallela     }
5537eca39e0SShashi Mallela 
5547eca39e0SShashi Mallela     size = (value & SIZE_MASK);
5557eca39e0SShashi Mallela 
5567eca39e0SShashi Mallela     offset += NUM_BYTES_IN_DW;
5577eca39e0SShashi Mallela     value = address_space_ldq_le(as, s->cq.base_addr + offset,
5587eca39e0SShashi Mallela                                  MEMTXATTRS_UNSPECIFIED, &res);
5597eca39e0SShashi Mallela 
5607eca39e0SShashi Mallela     if (res != MEMTX_OK) {
56100d46e72SPeter Maydell         return CMD_STALL;
5627eca39e0SShashi Mallela     }
5637eca39e0SShashi Mallela 
5647eca39e0SShashi Mallela     itt_addr = (value & ITTADDR_MASK) >> ITTADDR_SHIFT;
5657eca39e0SShashi Mallela 
5667eca39e0SShashi Mallela     valid = (value & CMD_FIELD_VALID_MASK);
5677eca39e0SShashi Mallela 
56880dcd37fSPeter Maydell     if ((devid >= s->dt.num_ids) ||
5697eca39e0SShashi Mallela         (size > FIELD_EX64(s->typer, GITS_TYPER, IDBITS))) {
5707eca39e0SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
5717eca39e0SShashi Mallela                       "ITS MAPD: invalid device table attributes "
5727eca39e0SShashi Mallela                       "devid %d or size %d\n", devid, size);
5737eca39e0SShashi Mallela         /*
5747eca39e0SShashi Mallela          * in this implementation, in case of error
5757eca39e0SShashi Mallela          * we ignore this command and move onto the next
5767eca39e0SShashi Mallela          * command in the queue
5777eca39e0SShashi Mallela          */
57800d46e72SPeter Maydell         return CMD_CONTINUE;
5797eca39e0SShashi Mallela     }
5807eca39e0SShashi Mallela 
58100d46e72SPeter Maydell     return update_dte(s, devid, valid, size, itt_addr) ? CMD_CONTINUE : CMD_STALL;
5827eca39e0SShashi Mallela }
5837eca39e0SShashi Mallela 
5847eca39e0SShashi Mallela /*
5857eca39e0SShashi Mallela  * Current implementation blocks until all
5867eca39e0SShashi Mallela  * commands are processed
5877eca39e0SShashi Mallela  */
5887eca39e0SShashi Mallela static void process_cmdq(GICv3ITSState *s)
5897eca39e0SShashi Mallela {
5907eca39e0SShashi Mallela     uint32_t wr_offset = 0;
5917eca39e0SShashi Mallela     uint32_t rd_offset = 0;
5927eca39e0SShashi Mallela     uint32_t cq_offset = 0;
5937eca39e0SShashi Mallela     uint64_t data;
5947eca39e0SShashi Mallela     AddressSpace *as = &s->gicv3->dma_as;
5957eca39e0SShashi Mallela     MemTxResult res = MEMTX_OK;
5967eca39e0SShashi Mallela     uint8_t cmd;
59717fb5e36SShashi Mallela     int i;
5987eca39e0SShashi Mallela 
5998d2d6dd9SPeter Maydell     if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
6007eca39e0SShashi Mallela         return;
6017eca39e0SShashi Mallela     }
6027eca39e0SShashi Mallela 
6037eca39e0SShashi Mallela     wr_offset = FIELD_EX64(s->cwriter, GITS_CWRITER, OFFSET);
6047eca39e0SShashi Mallela 
60580dcd37fSPeter Maydell     if (wr_offset >= s->cq.num_entries) {
6067eca39e0SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
6077eca39e0SShashi Mallela                       "%s: invalid write offset "
6087eca39e0SShashi Mallela                       "%d\n", __func__, wr_offset);
6097eca39e0SShashi Mallela         return;
6107eca39e0SShashi Mallela     }
6117eca39e0SShashi Mallela 
6127eca39e0SShashi Mallela     rd_offset = FIELD_EX64(s->creadr, GITS_CREADR, OFFSET);
6137eca39e0SShashi Mallela 
61480dcd37fSPeter Maydell     if (rd_offset >= s->cq.num_entries) {
6157eca39e0SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
6167eca39e0SShashi Mallela                       "%s: invalid read offset "
6177eca39e0SShashi Mallela                       "%d\n", __func__, rd_offset);
6187eca39e0SShashi Mallela         return;
6197eca39e0SShashi Mallela     }
6207eca39e0SShashi Mallela 
6217eca39e0SShashi Mallela     while (wr_offset != rd_offset) {
622ef011555SPeter Maydell         ItsCmdResult result = CMD_CONTINUE;
623ef011555SPeter Maydell 
6247eca39e0SShashi Mallela         cq_offset = (rd_offset * GITS_CMDQ_ENTRY_SIZE);
6257eca39e0SShashi Mallela         data = address_space_ldq_le(as, s->cq.base_addr + cq_offset,
6267eca39e0SShashi Mallela                                     MEMTXATTRS_UNSPECIFIED, &res);
6277eca39e0SShashi Mallela         if (res != MEMTX_OK) {
628f0b4b2a2SPeter Maydell             s->creadr = FIELD_DP64(s->creadr, GITS_CREADR, STALLED, 1);
629f0b4b2a2SPeter Maydell             qemu_log_mask(LOG_GUEST_ERROR,
630f0b4b2a2SPeter Maydell                           "%s: could not read command at 0x%" PRIx64 "\n",
631f0b4b2a2SPeter Maydell                           __func__, s->cq.base_addr + cq_offset);
632f0b4b2a2SPeter Maydell             break;
6337eca39e0SShashi Mallela         }
634f0b4b2a2SPeter Maydell 
6357eca39e0SShashi Mallela         cmd = (data & CMD_MASK);
6367eca39e0SShashi Mallela 
6377eca39e0SShashi Mallela         switch (cmd) {
6387eca39e0SShashi Mallela         case GITS_CMD_INT:
6397d62b2dcSPeter Maydell             result = process_its_cmd(s, data, cq_offset, INTERRUPT);
6407eca39e0SShashi Mallela             break;
6417eca39e0SShashi Mallela         case GITS_CMD_CLEAR:
6427d62b2dcSPeter Maydell             result = process_its_cmd(s, data, cq_offset, CLEAR);
6437eca39e0SShashi Mallela             break;
6447eca39e0SShashi Mallela         case GITS_CMD_SYNC:
6457eca39e0SShashi Mallela             /*
6467eca39e0SShashi Mallela              * Current implementation makes a blocking synchronous call
6477eca39e0SShashi Mallela              * for every command issued earlier, hence the internal state
6487eca39e0SShashi Mallela              * is already consistent by the time SYNC command is executed.
6497eca39e0SShashi Mallela              * Hence no further processing is required for SYNC command.
6507eca39e0SShashi Mallela              */
6517eca39e0SShashi Mallela             break;
6527eca39e0SShashi Mallela         case GITS_CMD_MAPD:
6537eca39e0SShashi Mallela             result = process_mapd(s, data, cq_offset);
6547eca39e0SShashi Mallela             break;
6557eca39e0SShashi Mallela         case GITS_CMD_MAPC:
6567eca39e0SShashi Mallela             result = process_mapc(s, cq_offset);
6577eca39e0SShashi Mallela             break;
6587eca39e0SShashi Mallela         case GITS_CMD_MAPTI:
659c694cb4cSShashi Mallela             result = process_mapti(s, data, cq_offset, false);
6607eca39e0SShashi Mallela             break;
6617eca39e0SShashi Mallela         case GITS_CMD_MAPI:
662c694cb4cSShashi Mallela             result = process_mapti(s, data, cq_offset, true);
6637eca39e0SShashi Mallela             break;
6647eca39e0SShashi Mallela         case GITS_CMD_DISCARD:
665c694cb4cSShashi Mallela             result = process_its_cmd(s, data, cq_offset, DISCARD);
6667eca39e0SShashi Mallela             break;
6677eca39e0SShashi Mallela         case GITS_CMD_INV:
6687eca39e0SShashi Mallela         case GITS_CMD_INVALL:
66917fb5e36SShashi Mallela             /*
67017fb5e36SShashi Mallela              * Current implementation doesn't cache any ITS tables,
67117fb5e36SShashi Mallela              * but the calculated lpi priority information. We only
67217fb5e36SShashi Mallela              * need to trigger lpi priority re-calculation to be in
67317fb5e36SShashi Mallela              * sync with LPI config table or pending table changes.
67417fb5e36SShashi Mallela              */
67517fb5e36SShashi Mallela             for (i = 0; i < s->gicv3->num_cpu; i++) {
67617fb5e36SShashi Mallela                 gicv3_redist_update_lpi(&s->gicv3->cpu[i]);
67717fb5e36SShashi Mallela             }
6787eca39e0SShashi Mallela             break;
6797eca39e0SShashi Mallela         default:
6807eca39e0SShashi Mallela             break;
6817eca39e0SShashi Mallela         }
682ef011555SPeter Maydell         if (result == CMD_CONTINUE) {
6837eca39e0SShashi Mallela             rd_offset++;
68480dcd37fSPeter Maydell             rd_offset %= s->cq.num_entries;
6857eca39e0SShashi Mallela             s->creadr = FIELD_DP64(s->creadr, GITS_CREADR, OFFSET, rd_offset);
6867eca39e0SShashi Mallela         } else {
687ef011555SPeter Maydell             /* CMD_STALL */
6887eca39e0SShashi Mallela             s->creadr = FIELD_DP64(s->creadr, GITS_CREADR, STALLED, 1);
6897eca39e0SShashi Mallela             qemu_log_mask(LOG_GUEST_ERROR,
690ef011555SPeter Maydell                           "%s: 0x%x cmd processing failed, stalling\n",
691ef011555SPeter Maydell                           __func__, cmd);
6927eca39e0SShashi Mallela             break;
6937eca39e0SShashi Mallela         }
6947eca39e0SShashi Mallela     }
6957eca39e0SShashi Mallela }
6967eca39e0SShashi Mallela 
6971b08e436SShashi Mallela /*
6981b08e436SShashi Mallela  * This function extracts the ITS Device and Collection table specific
6991b08e436SShashi Mallela  * parameters (like base_addr, size etc) from GITS_BASER register.
7001b08e436SShashi Mallela  * It is called during ITS enable and also during post_load migration
7011b08e436SShashi Mallela  */
7021b08e436SShashi Mallela static void extract_table_params(GICv3ITSState *s)
7031b08e436SShashi Mallela {
7041b08e436SShashi Mallela     uint16_t num_pages = 0;
7051b08e436SShashi Mallela     uint8_t  page_sz_type;
7061b08e436SShashi Mallela     uint8_t type;
7071b08e436SShashi Mallela     uint32_t page_sz = 0;
7081b08e436SShashi Mallela     uint64_t value;
7091b08e436SShashi Mallela 
7101b08e436SShashi Mallela     for (int i = 0; i < 8; i++) {
711e5487a41SPeter Maydell         TableDesc *td;
712e5487a41SPeter Maydell         int idbits;
713e5487a41SPeter Maydell 
7141b08e436SShashi Mallela         value = s->baser[i];
7151b08e436SShashi Mallela 
7161b08e436SShashi Mallela         if (!value) {
7171b08e436SShashi Mallela             continue;
7181b08e436SShashi Mallela         }
7191b08e436SShashi Mallela 
7201b08e436SShashi Mallela         page_sz_type = FIELD_EX64(value, GITS_BASER, PAGESIZE);
7211b08e436SShashi Mallela 
7221b08e436SShashi Mallela         switch (page_sz_type) {
7231b08e436SShashi Mallela         case 0:
7241b08e436SShashi Mallela             page_sz = GITS_PAGE_SIZE_4K;
7251b08e436SShashi Mallela             break;
7261b08e436SShashi Mallela 
7271b08e436SShashi Mallela         case 1:
7281b08e436SShashi Mallela             page_sz = GITS_PAGE_SIZE_16K;
7291b08e436SShashi Mallela             break;
7301b08e436SShashi Mallela 
7311b08e436SShashi Mallela         case 2:
7321b08e436SShashi Mallela         case 3:
7331b08e436SShashi Mallela             page_sz = GITS_PAGE_SIZE_64K;
7341b08e436SShashi Mallela             break;
7351b08e436SShashi Mallela 
7361b08e436SShashi Mallela         default:
7371b08e436SShashi Mallela             g_assert_not_reached();
7381b08e436SShashi Mallela         }
7391b08e436SShashi Mallela 
7401b08e436SShashi Mallela         num_pages = FIELD_EX64(value, GITS_BASER, SIZE) + 1;
7411b08e436SShashi Mallela 
7421b08e436SShashi Mallela         type = FIELD_EX64(value, GITS_BASER, TYPE);
7431b08e436SShashi Mallela 
7441b08e436SShashi Mallela         switch (type) {
7451b08e436SShashi Mallela         case GITS_BASER_TYPE_DEVICE:
746e5487a41SPeter Maydell             td = &s->dt;
747e5487a41SPeter Maydell             idbits = FIELD_EX64(s->typer, GITS_TYPER, DEVBITS) + 1;
74862df780eSPeter Maydell             break;
7491b08e436SShashi Mallela         case GITS_BASER_TYPE_COLLECTION:
750e5487a41SPeter Maydell             td = &s->ct;
7511b08e436SShashi Mallela             if (FIELD_EX64(s->typer, GITS_TYPER, CIL)) {
752e5487a41SPeter Maydell                 idbits = FIELD_EX64(s->typer, GITS_TYPER, CIDBITS) + 1;
7531b08e436SShashi Mallela             } else {
7541b08e436SShashi Mallela                 /* 16-bit CollectionId supported when CIL == 0 */
755e5487a41SPeter Maydell                 idbits = 16;
7561b08e436SShashi Mallela             }
7571b08e436SShashi Mallela             break;
7581b08e436SShashi Mallela         default:
759e5487a41SPeter Maydell             /*
760e5487a41SPeter Maydell              * GITS_BASER<n>.TYPE is read-only, so GITS_BASER_RO_MASK
761e5487a41SPeter Maydell              * ensures we will only see type values corresponding to
762e5487a41SPeter Maydell              * the values set up in gicv3_its_reset().
763e5487a41SPeter Maydell              */
764e5487a41SPeter Maydell             g_assert_not_reached();
7651b08e436SShashi Mallela         }
766e5487a41SPeter Maydell 
767e5487a41SPeter Maydell         memset(td, 0, sizeof(*td));
768e5487a41SPeter Maydell         td->valid = FIELD_EX64(value, GITS_BASER, VALID);
769e5487a41SPeter Maydell         /*
770e5487a41SPeter Maydell          * If GITS_BASER<n>.Valid is 0 for any <n> then we will not process
771e5487a41SPeter Maydell          * interrupts. (GITS_TYPER.HCC is 0 for this implementation, so we
772e5487a41SPeter Maydell          * do not have a special case where the GITS_BASER<n>.Valid bit is 0
773e5487a41SPeter Maydell          * for the register corresponding to the Collection table but we
774e5487a41SPeter Maydell          * still have to process interrupts using non-memory-backed
775e5487a41SPeter Maydell          * Collection table entries.)
776e5487a41SPeter Maydell          */
777e5487a41SPeter Maydell         if (!td->valid) {
778e5487a41SPeter Maydell             continue;
779e5487a41SPeter Maydell         }
780e5487a41SPeter Maydell         td->page_sz = page_sz;
781e5487a41SPeter Maydell         td->indirect = FIELD_EX64(value, GITS_BASER, INDIRECT);
7829ae85431SPeter Maydell         td->entry_sz = FIELD_EX64(value, GITS_BASER, ENTRYSIZE) + 1;
783e5487a41SPeter Maydell         td->base_addr = baser_base_addr(value, page_sz);
784e5487a41SPeter Maydell         if (!td->indirect) {
78580dcd37fSPeter Maydell             td->num_entries = (num_pages * page_sz) / td->entry_sz;
786e5487a41SPeter Maydell         } else {
78780dcd37fSPeter Maydell             td->num_entries = (((num_pages * page_sz) /
788e5487a41SPeter Maydell                                   L1TABLE_ENTRY_SIZE) *
789e5487a41SPeter Maydell                                  (page_sz / td->entry_sz));
790e5487a41SPeter Maydell         }
79180dcd37fSPeter Maydell         td->num_ids = 1ULL << idbits;
7921b08e436SShashi Mallela     }
7931b08e436SShashi Mallela }
7941b08e436SShashi Mallela 
7951b08e436SShashi Mallela static void extract_cmdq_params(GICv3ITSState *s)
7961b08e436SShashi Mallela {
7971b08e436SShashi Mallela     uint16_t num_pages = 0;
7981b08e436SShashi Mallela     uint64_t value = s->cbaser;
7991b08e436SShashi Mallela 
8001b08e436SShashi Mallela     num_pages = FIELD_EX64(value, GITS_CBASER, SIZE) + 1;
8011b08e436SShashi Mallela 
8021b08e436SShashi Mallela     memset(&s->cq, 0 , sizeof(s->cq));
8031b08e436SShashi Mallela     s->cq.valid = FIELD_EX64(value, GITS_CBASER, VALID);
8041b08e436SShashi Mallela 
8051b08e436SShashi Mallela     if (s->cq.valid) {
80680dcd37fSPeter Maydell         s->cq.num_entries = (num_pages * GITS_PAGE_SIZE_4K) /
8071b08e436SShashi Mallela                              GITS_CMDQ_ENTRY_SIZE;
8081b08e436SShashi Mallela         s->cq.base_addr = FIELD_EX64(value, GITS_CBASER, PHYADDR);
8091b08e436SShashi Mallela         s->cq.base_addr <<= R_GITS_CBASER_PHYADDR_SHIFT;
8101b08e436SShashi Mallela     }
8111b08e436SShashi Mallela }
8121b08e436SShashi Mallela 
81318f6290aSShashi Mallela static MemTxResult gicv3_its_translation_write(void *opaque, hwaddr offset,
81418f6290aSShashi Mallela                                                uint64_t data, unsigned size,
81518f6290aSShashi Mallela                                                MemTxAttrs attrs)
81618f6290aSShashi Mallela {
817c694cb4cSShashi Mallela     GICv3ITSState *s = (GICv3ITSState *)opaque;
818c694cb4cSShashi Mallela     bool result = true;
819c694cb4cSShashi Mallela     uint32_t devid = 0;
820c694cb4cSShashi Mallela 
821c694cb4cSShashi Mallela     switch (offset) {
822c694cb4cSShashi Mallela     case GITS_TRANSLATER:
8238d2d6dd9SPeter Maydell         if (s->ctlr & R_GITS_CTLR_ENABLED_MASK) {
824c694cb4cSShashi Mallela             devid = attrs.requester_id;
825c694cb4cSShashi Mallela             result = process_its_cmd(s, data, devid, NONE);
826c694cb4cSShashi Mallela         }
827c694cb4cSShashi Mallela         break;
828c694cb4cSShashi Mallela     default:
829c694cb4cSShashi Mallela         break;
830c694cb4cSShashi Mallela     }
831c694cb4cSShashi Mallela 
832c694cb4cSShashi Mallela     if (result) {
83318f6290aSShashi Mallela         return MEMTX_OK;
834c694cb4cSShashi Mallela     } else {
835c694cb4cSShashi Mallela         return MEMTX_ERROR;
836c694cb4cSShashi Mallela     }
83718f6290aSShashi Mallela }
83818f6290aSShashi Mallela 
83918f6290aSShashi Mallela static bool its_writel(GICv3ITSState *s, hwaddr offset,
84018f6290aSShashi Mallela                               uint64_t value, MemTxAttrs attrs)
84118f6290aSShashi Mallela {
84218f6290aSShashi Mallela     bool result = true;
8431b08e436SShashi Mallela     int index;
84418f6290aSShashi Mallela 
8451b08e436SShashi Mallela     switch (offset) {
8461b08e436SShashi Mallela     case GITS_CTLR:
8472f459cd1SShashi Mallela         if (value & R_GITS_CTLR_ENABLED_MASK) {
8488d2d6dd9SPeter Maydell             s->ctlr |= R_GITS_CTLR_ENABLED_MASK;
8491b08e436SShashi Mallela             extract_table_params(s);
8501b08e436SShashi Mallela             extract_cmdq_params(s);
8511b08e436SShashi Mallela             s->creadr = 0;
8527eca39e0SShashi Mallela             process_cmdq(s);
8532f459cd1SShashi Mallela         } else {
8548d2d6dd9SPeter Maydell             s->ctlr &= ~R_GITS_CTLR_ENABLED_MASK;
8551b08e436SShashi Mallela         }
8561b08e436SShashi Mallela         break;
8571b08e436SShashi Mallela     case GITS_CBASER:
8581b08e436SShashi Mallela         /*
8591b08e436SShashi Mallela          * IMPDEF choice:- GITS_CBASER register becomes RO if ITS is
8601b08e436SShashi Mallela          *                 already enabled
8611b08e436SShashi Mallela          */
8628d2d6dd9SPeter Maydell         if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
8631b08e436SShashi Mallela             s->cbaser = deposit64(s->cbaser, 0, 32, value);
8641b08e436SShashi Mallela             s->creadr = 0;
8651b08e436SShashi Mallela             s->cwriter = s->creadr;
8661b08e436SShashi Mallela         }
8671b08e436SShashi Mallela         break;
8681b08e436SShashi Mallela     case GITS_CBASER + 4:
8691b08e436SShashi Mallela         /*
8701b08e436SShashi Mallela          * IMPDEF choice:- GITS_CBASER register becomes RO if ITS is
8711b08e436SShashi Mallela          *                 already enabled
8721b08e436SShashi Mallela          */
8738d2d6dd9SPeter Maydell         if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
8741b08e436SShashi Mallela             s->cbaser = deposit64(s->cbaser, 32, 32, value);
8751b08e436SShashi Mallela             s->creadr = 0;
8761b08e436SShashi Mallela             s->cwriter = s->creadr;
8771b08e436SShashi Mallela         }
8781b08e436SShashi Mallela         break;
8791b08e436SShashi Mallela     case GITS_CWRITER:
8801b08e436SShashi Mallela         s->cwriter = deposit64(s->cwriter, 0, 32,
8811b08e436SShashi Mallela                                (value & ~R_GITS_CWRITER_RETRY_MASK));
8827eca39e0SShashi Mallela         if (s->cwriter != s->creadr) {
8837eca39e0SShashi Mallela             process_cmdq(s);
8847eca39e0SShashi Mallela         }
8851b08e436SShashi Mallela         break;
8861b08e436SShashi Mallela     case GITS_CWRITER + 4:
8871b08e436SShashi Mallela         s->cwriter = deposit64(s->cwriter, 32, 32, value);
8881b08e436SShashi Mallela         break;
8891b08e436SShashi Mallela     case GITS_CREADR:
8901b08e436SShashi Mallela         if (s->gicv3->gicd_ctlr & GICD_CTLR_DS) {
8911b08e436SShashi Mallela             s->creadr = deposit64(s->creadr, 0, 32,
8921b08e436SShashi Mallela                                   (value & ~R_GITS_CREADR_STALLED_MASK));
8931b08e436SShashi Mallela         } else {
8941b08e436SShashi Mallela             /* RO register, ignore the write */
8951b08e436SShashi Mallela             qemu_log_mask(LOG_GUEST_ERROR,
8961b08e436SShashi Mallela                           "%s: invalid guest write to RO register at offset "
8971b08e436SShashi Mallela                           TARGET_FMT_plx "\n", __func__, offset);
8981b08e436SShashi Mallela         }
8991b08e436SShashi Mallela         break;
9001b08e436SShashi Mallela     case GITS_CREADR + 4:
9011b08e436SShashi Mallela         if (s->gicv3->gicd_ctlr & GICD_CTLR_DS) {
9021b08e436SShashi Mallela             s->creadr = deposit64(s->creadr, 32, 32, value);
9031b08e436SShashi Mallela         } else {
9041b08e436SShashi Mallela             /* RO register, ignore the write */
9051b08e436SShashi Mallela             qemu_log_mask(LOG_GUEST_ERROR,
9061b08e436SShashi Mallela                           "%s: invalid guest write to RO register at offset "
9071b08e436SShashi Mallela                           TARGET_FMT_plx "\n", __func__, offset);
9081b08e436SShashi Mallela         }
9091b08e436SShashi Mallela         break;
9101b08e436SShashi Mallela     case GITS_BASER ... GITS_BASER + 0x3f:
9111b08e436SShashi Mallela         /*
9121b08e436SShashi Mallela          * IMPDEF choice:- GITS_BASERn register becomes RO if ITS is
9131b08e436SShashi Mallela          *                 already enabled
9141b08e436SShashi Mallela          */
9158d2d6dd9SPeter Maydell         if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
9161b08e436SShashi Mallela             index = (offset - GITS_BASER) / 8;
9171b08e436SShashi Mallela 
9181b08e436SShashi Mallela             if (offset & 7) {
9191b08e436SShashi Mallela                 value <<= 32;
9201b08e436SShashi Mallela                 value &= ~GITS_BASER_RO_MASK;
9211b08e436SShashi Mallela                 s->baser[index] &= GITS_BASER_RO_MASK | MAKE_64BIT_MASK(0, 32);
9221b08e436SShashi Mallela                 s->baser[index] |= value;
9231b08e436SShashi Mallela             } else {
9241b08e436SShashi Mallela                 value &= ~GITS_BASER_RO_MASK;
9251b08e436SShashi Mallela                 s->baser[index] &= GITS_BASER_RO_MASK | MAKE_64BIT_MASK(32, 32);
9261b08e436SShashi Mallela                 s->baser[index] |= value;
9271b08e436SShashi Mallela             }
9281b08e436SShashi Mallela         }
9291b08e436SShashi Mallela         break;
9301b08e436SShashi Mallela     case GITS_IIDR:
9311b08e436SShashi Mallela     case GITS_IDREGS ... GITS_IDREGS + 0x2f:
9321b08e436SShashi Mallela         /* RO registers, ignore the write */
9331b08e436SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
9341b08e436SShashi Mallela                       "%s: invalid guest write to RO register at offset "
9351b08e436SShashi Mallela                       TARGET_FMT_plx "\n", __func__, offset);
9361b08e436SShashi Mallela         break;
9371b08e436SShashi Mallela     default:
9381b08e436SShashi Mallela         result = false;
9391b08e436SShashi Mallela         break;
9401b08e436SShashi Mallela     }
94118f6290aSShashi Mallela     return result;
94218f6290aSShashi Mallela }
94318f6290aSShashi Mallela 
94418f6290aSShashi Mallela static bool its_readl(GICv3ITSState *s, hwaddr offset,
94518f6290aSShashi Mallela                              uint64_t *data, MemTxAttrs attrs)
94618f6290aSShashi Mallela {
94718f6290aSShashi Mallela     bool result = true;
9481b08e436SShashi Mallela     int index;
94918f6290aSShashi Mallela 
9501b08e436SShashi Mallela     switch (offset) {
9511b08e436SShashi Mallela     case GITS_CTLR:
9521b08e436SShashi Mallela         *data = s->ctlr;
9531b08e436SShashi Mallela         break;
9541b08e436SShashi Mallela     case GITS_IIDR:
9551b08e436SShashi Mallela         *data = gicv3_iidr();
9561b08e436SShashi Mallela         break;
9571b08e436SShashi Mallela     case GITS_IDREGS ... GITS_IDREGS + 0x2f:
9581b08e436SShashi Mallela         /* ID registers */
9591b08e436SShashi Mallela         *data = gicv3_idreg(offset - GITS_IDREGS);
9601b08e436SShashi Mallela         break;
9611b08e436SShashi Mallela     case GITS_TYPER:
9621b08e436SShashi Mallela         *data = extract64(s->typer, 0, 32);
9631b08e436SShashi Mallela         break;
9641b08e436SShashi Mallela     case GITS_TYPER + 4:
9651b08e436SShashi Mallela         *data = extract64(s->typer, 32, 32);
9661b08e436SShashi Mallela         break;
9671b08e436SShashi Mallela     case GITS_CBASER:
9681b08e436SShashi Mallela         *data = extract64(s->cbaser, 0, 32);
9691b08e436SShashi Mallela         break;
9701b08e436SShashi Mallela     case GITS_CBASER + 4:
9711b08e436SShashi Mallela         *data = extract64(s->cbaser, 32, 32);
9721b08e436SShashi Mallela         break;
9731b08e436SShashi Mallela     case GITS_CREADR:
9741b08e436SShashi Mallela         *data = extract64(s->creadr, 0, 32);
9751b08e436SShashi Mallela         break;
9761b08e436SShashi Mallela     case GITS_CREADR + 4:
9771b08e436SShashi Mallela         *data = extract64(s->creadr, 32, 32);
9781b08e436SShashi Mallela         break;
9791b08e436SShashi Mallela     case GITS_CWRITER:
9801b08e436SShashi Mallela         *data = extract64(s->cwriter, 0, 32);
9811b08e436SShashi Mallela         break;
9821b08e436SShashi Mallela     case GITS_CWRITER + 4:
9831b08e436SShashi Mallela         *data = extract64(s->cwriter, 32, 32);
9841b08e436SShashi Mallela         break;
9851b08e436SShashi Mallela     case GITS_BASER ... GITS_BASER + 0x3f:
9861b08e436SShashi Mallela         index = (offset - GITS_BASER) / 8;
9871b08e436SShashi Mallela         if (offset & 7) {
9881b08e436SShashi Mallela             *data = extract64(s->baser[index], 32, 32);
9891b08e436SShashi Mallela         } else {
9901b08e436SShashi Mallela             *data = extract64(s->baser[index], 0, 32);
9911b08e436SShashi Mallela         }
9921b08e436SShashi Mallela         break;
9931b08e436SShashi Mallela     default:
9941b08e436SShashi Mallela         result = false;
9951b08e436SShashi Mallela         break;
9961b08e436SShashi Mallela     }
99718f6290aSShashi Mallela     return result;
99818f6290aSShashi Mallela }
99918f6290aSShashi Mallela 
100018f6290aSShashi Mallela static bool its_writell(GICv3ITSState *s, hwaddr offset,
100118f6290aSShashi Mallela                                uint64_t value, MemTxAttrs attrs)
100218f6290aSShashi Mallela {
100318f6290aSShashi Mallela     bool result = true;
10041b08e436SShashi Mallela     int index;
100518f6290aSShashi Mallela 
10061b08e436SShashi Mallela     switch (offset) {
10071b08e436SShashi Mallela     case GITS_BASER ... GITS_BASER + 0x3f:
10081b08e436SShashi Mallela         /*
10091b08e436SShashi Mallela          * IMPDEF choice:- GITS_BASERn register becomes RO if ITS is
10101b08e436SShashi Mallela          *                 already enabled
10111b08e436SShashi Mallela          */
10128d2d6dd9SPeter Maydell         if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
10131b08e436SShashi Mallela             index = (offset - GITS_BASER) / 8;
10141b08e436SShashi Mallela             s->baser[index] &= GITS_BASER_RO_MASK;
10151b08e436SShashi Mallela             s->baser[index] |= (value & ~GITS_BASER_RO_MASK);
10161b08e436SShashi Mallela         }
10171b08e436SShashi Mallela         break;
10181b08e436SShashi Mallela     case GITS_CBASER:
10191b08e436SShashi Mallela         /*
10201b08e436SShashi Mallela          * IMPDEF choice:- GITS_CBASER register becomes RO if ITS is
10211b08e436SShashi Mallela          *                 already enabled
10221b08e436SShashi Mallela          */
10238d2d6dd9SPeter Maydell         if (!(s->ctlr & R_GITS_CTLR_ENABLED_MASK)) {
10241b08e436SShashi Mallela             s->cbaser = value;
10251b08e436SShashi Mallela             s->creadr = 0;
10261b08e436SShashi Mallela             s->cwriter = s->creadr;
10271b08e436SShashi Mallela         }
10281b08e436SShashi Mallela         break;
10291b08e436SShashi Mallela     case GITS_CWRITER:
10301b08e436SShashi Mallela         s->cwriter = value & ~R_GITS_CWRITER_RETRY_MASK;
10317eca39e0SShashi Mallela         if (s->cwriter != s->creadr) {
10327eca39e0SShashi Mallela             process_cmdq(s);
10337eca39e0SShashi Mallela         }
10341b08e436SShashi Mallela         break;
10351b08e436SShashi Mallela     case GITS_CREADR:
10361b08e436SShashi Mallela         if (s->gicv3->gicd_ctlr & GICD_CTLR_DS) {
10371b08e436SShashi Mallela             s->creadr = value & ~R_GITS_CREADR_STALLED_MASK;
10381b08e436SShashi Mallela         } else {
10391b08e436SShashi Mallela             /* RO register, ignore the write */
10401b08e436SShashi Mallela             qemu_log_mask(LOG_GUEST_ERROR,
10411b08e436SShashi Mallela                           "%s: invalid guest write to RO register at offset "
10421b08e436SShashi Mallela                           TARGET_FMT_plx "\n", __func__, offset);
10431b08e436SShashi Mallela         }
10441b08e436SShashi Mallela         break;
10451b08e436SShashi Mallela     case GITS_TYPER:
10461b08e436SShashi Mallela         /* RO registers, ignore the write */
10471b08e436SShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
10481b08e436SShashi Mallela                       "%s: invalid guest write to RO register at offset "
10491b08e436SShashi Mallela                       TARGET_FMT_plx "\n", __func__, offset);
10501b08e436SShashi Mallela         break;
10511b08e436SShashi Mallela     default:
10521b08e436SShashi Mallela         result = false;
10531b08e436SShashi Mallela         break;
10541b08e436SShashi Mallela     }
105518f6290aSShashi Mallela     return result;
105618f6290aSShashi Mallela }
105718f6290aSShashi Mallela 
105818f6290aSShashi Mallela static bool its_readll(GICv3ITSState *s, hwaddr offset,
105918f6290aSShashi Mallela                               uint64_t *data, MemTxAttrs attrs)
106018f6290aSShashi Mallela {
106118f6290aSShashi Mallela     bool result = true;
10621b08e436SShashi Mallela     int index;
106318f6290aSShashi Mallela 
10641b08e436SShashi Mallela     switch (offset) {
10651b08e436SShashi Mallela     case GITS_TYPER:
10661b08e436SShashi Mallela         *data = s->typer;
10671b08e436SShashi Mallela         break;
10681b08e436SShashi Mallela     case GITS_BASER ... GITS_BASER + 0x3f:
10691b08e436SShashi Mallela         index = (offset - GITS_BASER) / 8;
10701b08e436SShashi Mallela         *data = s->baser[index];
10711b08e436SShashi Mallela         break;
10721b08e436SShashi Mallela     case GITS_CBASER:
10731b08e436SShashi Mallela         *data = s->cbaser;
10741b08e436SShashi Mallela         break;
10751b08e436SShashi Mallela     case GITS_CREADR:
10761b08e436SShashi Mallela         *data = s->creadr;
10771b08e436SShashi Mallela         break;
10781b08e436SShashi Mallela     case GITS_CWRITER:
10791b08e436SShashi Mallela         *data = s->cwriter;
10801b08e436SShashi Mallela         break;
10811b08e436SShashi Mallela     default:
10821b08e436SShashi Mallela         result = false;
10831b08e436SShashi Mallela         break;
10841b08e436SShashi Mallela     }
108518f6290aSShashi Mallela     return result;
108618f6290aSShashi Mallela }
108718f6290aSShashi Mallela 
108818f6290aSShashi Mallela static MemTxResult gicv3_its_read(void *opaque, hwaddr offset, uint64_t *data,
108918f6290aSShashi Mallela                                   unsigned size, MemTxAttrs attrs)
109018f6290aSShashi Mallela {
109118f6290aSShashi Mallela     GICv3ITSState *s = (GICv3ITSState *)opaque;
109218f6290aSShashi Mallela     bool result;
109318f6290aSShashi Mallela 
109418f6290aSShashi Mallela     switch (size) {
109518f6290aSShashi Mallela     case 4:
109618f6290aSShashi Mallela         result = its_readl(s, offset, data, attrs);
109718f6290aSShashi Mallela         break;
109818f6290aSShashi Mallela     case 8:
109918f6290aSShashi Mallela         result = its_readll(s, offset, data, attrs);
110018f6290aSShashi Mallela         break;
110118f6290aSShashi Mallela     default:
110218f6290aSShashi Mallela         result = false;
110318f6290aSShashi Mallela         break;
110418f6290aSShashi Mallela     }
110518f6290aSShashi Mallela 
110618f6290aSShashi Mallela     if (!result) {
110718f6290aSShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
110818f6290aSShashi Mallela                       "%s: invalid guest read at offset " TARGET_FMT_plx
110918f6290aSShashi Mallela                       "size %u\n", __func__, offset, size);
111018f6290aSShashi Mallela         /*
111118f6290aSShashi Mallela          * The spec requires that reserved registers are RAZ/WI;
111218f6290aSShashi Mallela          * so use false returns from leaf functions as a way to
111318f6290aSShashi Mallela          * trigger the guest-error logging but don't return it to
111418f6290aSShashi Mallela          * the caller, or we'll cause a spurious guest data abort.
111518f6290aSShashi Mallela          */
111618f6290aSShashi Mallela         *data = 0;
111718f6290aSShashi Mallela     }
111818f6290aSShashi Mallela     return MEMTX_OK;
111918f6290aSShashi Mallela }
112018f6290aSShashi Mallela 
112118f6290aSShashi Mallela static MemTxResult gicv3_its_write(void *opaque, hwaddr offset, uint64_t data,
112218f6290aSShashi Mallela                                    unsigned size, MemTxAttrs attrs)
112318f6290aSShashi Mallela {
112418f6290aSShashi Mallela     GICv3ITSState *s = (GICv3ITSState *)opaque;
112518f6290aSShashi Mallela     bool result;
112618f6290aSShashi Mallela 
112718f6290aSShashi Mallela     switch (size) {
112818f6290aSShashi Mallela     case 4:
112918f6290aSShashi Mallela         result = its_writel(s, offset, data, attrs);
113018f6290aSShashi Mallela         break;
113118f6290aSShashi Mallela     case 8:
113218f6290aSShashi Mallela         result = its_writell(s, offset, data, attrs);
113318f6290aSShashi Mallela         break;
113418f6290aSShashi Mallela     default:
113518f6290aSShashi Mallela         result = false;
113618f6290aSShashi Mallela         break;
113718f6290aSShashi Mallela     }
113818f6290aSShashi Mallela 
113918f6290aSShashi Mallela     if (!result) {
114018f6290aSShashi Mallela         qemu_log_mask(LOG_GUEST_ERROR,
114118f6290aSShashi Mallela                       "%s: invalid guest write at offset " TARGET_FMT_plx
114218f6290aSShashi Mallela                       "size %u\n", __func__, offset, size);
114318f6290aSShashi Mallela         /*
114418f6290aSShashi Mallela          * The spec requires that reserved registers are RAZ/WI;
114518f6290aSShashi Mallela          * so use false returns from leaf functions as a way to
114618f6290aSShashi Mallela          * trigger the guest-error logging but don't return it to
114718f6290aSShashi Mallela          * the caller, or we'll cause a spurious guest data abort.
114818f6290aSShashi Mallela          */
114918f6290aSShashi Mallela     }
115018f6290aSShashi Mallela     return MEMTX_OK;
115118f6290aSShashi Mallela }
115218f6290aSShashi Mallela 
115318f6290aSShashi Mallela static const MemoryRegionOps gicv3_its_control_ops = {
115418f6290aSShashi Mallela     .read_with_attrs = gicv3_its_read,
115518f6290aSShashi Mallela     .write_with_attrs = gicv3_its_write,
115618f6290aSShashi Mallela     .valid.min_access_size = 4,
115718f6290aSShashi Mallela     .valid.max_access_size = 8,
115818f6290aSShashi Mallela     .impl.min_access_size = 4,
115918f6290aSShashi Mallela     .impl.max_access_size = 8,
116018f6290aSShashi Mallela     .endianness = DEVICE_NATIVE_ENDIAN,
116118f6290aSShashi Mallela };
116218f6290aSShashi Mallela 
116318f6290aSShashi Mallela static const MemoryRegionOps gicv3_its_translation_ops = {
116418f6290aSShashi Mallela     .write_with_attrs = gicv3_its_translation_write,
116518f6290aSShashi Mallela     .valid.min_access_size = 2,
116618f6290aSShashi Mallela     .valid.max_access_size = 4,
116718f6290aSShashi Mallela     .impl.min_access_size = 2,
116818f6290aSShashi Mallela     .impl.max_access_size = 4,
116918f6290aSShashi Mallela     .endianness = DEVICE_NATIVE_ENDIAN,
117018f6290aSShashi Mallela };
117118f6290aSShashi Mallela 
117218f6290aSShashi Mallela static void gicv3_arm_its_realize(DeviceState *dev, Error **errp)
117318f6290aSShashi Mallela {
117418f6290aSShashi Mallela     GICv3ITSState *s = ARM_GICV3_ITS_COMMON(dev);
117518f6290aSShashi Mallela     int i;
117618f6290aSShashi Mallela 
117718f6290aSShashi Mallela     for (i = 0; i < s->gicv3->num_cpu; i++) {
117818f6290aSShashi Mallela         if (!(s->gicv3->cpu[i].gicr_typer & GICR_TYPER_PLPIS)) {
117918f6290aSShashi Mallela             error_setg(errp, "Physical LPI not supported by CPU %d", i);
118018f6290aSShashi Mallela             return;
118118f6290aSShashi Mallela         }
118218f6290aSShashi Mallela     }
118318f6290aSShashi Mallela 
118418f6290aSShashi Mallela     gicv3_its_init_mmio(s, &gicv3_its_control_ops, &gicv3_its_translation_ops);
118518f6290aSShashi Mallela 
11861b08e436SShashi Mallela     address_space_init(&s->gicv3->dma_as, s->gicv3->dma,
11871b08e436SShashi Mallela                        "gicv3-its-sysmem");
11881b08e436SShashi Mallela 
118918f6290aSShashi Mallela     /* set the ITS default features supported */
1190764d6ba1SPeter Maydell     s->typer = FIELD_DP64(s->typer, GITS_TYPER, PHYSICAL, 1);
119118f6290aSShashi Mallela     s->typer = FIELD_DP64(s->typer, GITS_TYPER, ITT_ENTRY_SIZE,
119218f6290aSShashi Mallela                           ITS_ITT_ENTRY_SIZE - 1);
119318f6290aSShashi Mallela     s->typer = FIELD_DP64(s->typer, GITS_TYPER, IDBITS, ITS_IDBITS);
119418f6290aSShashi Mallela     s->typer = FIELD_DP64(s->typer, GITS_TYPER, DEVBITS, ITS_DEVBITS);
119518f6290aSShashi Mallela     s->typer = FIELD_DP64(s->typer, GITS_TYPER, CIL, 1);
119618f6290aSShashi Mallela     s->typer = FIELD_DP64(s->typer, GITS_TYPER, CIDBITS, ITS_CIDBITS);
119718f6290aSShashi Mallela }
119818f6290aSShashi Mallela 
119918f6290aSShashi Mallela static void gicv3_its_reset(DeviceState *dev)
120018f6290aSShashi Mallela {
120118f6290aSShashi Mallela     GICv3ITSState *s = ARM_GICV3_ITS_COMMON(dev);
120218f6290aSShashi Mallela     GICv3ITSClass *c = ARM_GICV3_ITS_GET_CLASS(s);
120318f6290aSShashi Mallela 
120418f6290aSShashi Mallela     c->parent_reset(dev);
120518f6290aSShashi Mallela 
120618f6290aSShashi Mallela     /* Quiescent bit reset to 1 */
120718f6290aSShashi Mallela     s->ctlr = FIELD_DP32(s->ctlr, GITS_CTLR, QUIESCENT, 1);
120818f6290aSShashi Mallela 
120918f6290aSShashi Mallela     /*
121018f6290aSShashi Mallela      * setting GITS_BASER0.Type = 0b001 (Device)
121118f6290aSShashi Mallela      *         GITS_BASER1.Type = 0b100 (Collection Table)
121218f6290aSShashi Mallela      *         GITS_BASER<n>.Type,where n = 3 to 7 are 0b00 (Unimplemented)
121318f6290aSShashi Mallela      *         GITS_BASER<0,1>.Page_Size = 64KB
121418f6290aSShashi Mallela      * and default translation table entry size to 16 bytes
121518f6290aSShashi Mallela      */
121618f6290aSShashi Mallela     s->baser[0] = FIELD_DP64(s->baser[0], GITS_BASER, TYPE,
121718f6290aSShashi Mallela                              GITS_BASER_TYPE_DEVICE);
121818f6290aSShashi Mallela     s->baser[0] = FIELD_DP64(s->baser[0], GITS_BASER, PAGESIZE,
121918f6290aSShashi Mallela                              GITS_BASER_PAGESIZE_64K);
122018f6290aSShashi Mallela     s->baser[0] = FIELD_DP64(s->baser[0], GITS_BASER, ENTRYSIZE,
122118f6290aSShashi Mallela                              GITS_DTE_SIZE - 1);
122218f6290aSShashi Mallela 
122318f6290aSShashi Mallela     s->baser[1] = FIELD_DP64(s->baser[1], GITS_BASER, TYPE,
122418f6290aSShashi Mallela                              GITS_BASER_TYPE_COLLECTION);
122518f6290aSShashi Mallela     s->baser[1] = FIELD_DP64(s->baser[1], GITS_BASER, PAGESIZE,
122618f6290aSShashi Mallela                              GITS_BASER_PAGESIZE_64K);
122718f6290aSShashi Mallela     s->baser[1] = FIELD_DP64(s->baser[1], GITS_BASER, ENTRYSIZE,
122818f6290aSShashi Mallela                              GITS_CTE_SIZE - 1);
122918f6290aSShashi Mallela }
123018f6290aSShashi Mallela 
12311b08e436SShashi Mallela static void gicv3_its_post_load(GICv3ITSState *s)
12321b08e436SShashi Mallela {
12338d2d6dd9SPeter Maydell     if (s->ctlr & R_GITS_CTLR_ENABLED_MASK) {
12341b08e436SShashi Mallela         extract_table_params(s);
12351b08e436SShashi Mallela         extract_cmdq_params(s);
12361b08e436SShashi Mallela     }
12371b08e436SShashi Mallela }
12381b08e436SShashi Mallela 
123918f6290aSShashi Mallela static Property gicv3_its_props[] = {
124018f6290aSShashi Mallela     DEFINE_PROP_LINK("parent-gicv3", GICv3ITSState, gicv3, "arm-gicv3",
124118f6290aSShashi Mallela                      GICv3State *),
124218f6290aSShashi Mallela     DEFINE_PROP_END_OF_LIST(),
124318f6290aSShashi Mallela };
124418f6290aSShashi Mallela 
124518f6290aSShashi Mallela static void gicv3_its_class_init(ObjectClass *klass, void *data)
124618f6290aSShashi Mallela {
124718f6290aSShashi Mallela     DeviceClass *dc = DEVICE_CLASS(klass);
124818f6290aSShashi Mallela     GICv3ITSClass *ic = ARM_GICV3_ITS_CLASS(klass);
12491b08e436SShashi Mallela     GICv3ITSCommonClass *icc = ARM_GICV3_ITS_COMMON_CLASS(klass);
125018f6290aSShashi Mallela 
125118f6290aSShashi Mallela     dc->realize = gicv3_arm_its_realize;
125218f6290aSShashi Mallela     device_class_set_props(dc, gicv3_its_props);
125318f6290aSShashi Mallela     device_class_set_parent_reset(dc, gicv3_its_reset, &ic->parent_reset);
12541b08e436SShashi Mallela     icc->post_load = gicv3_its_post_load;
125518f6290aSShashi Mallela }
125618f6290aSShashi Mallela 
125718f6290aSShashi Mallela static const TypeInfo gicv3_its_info = {
125818f6290aSShashi Mallela     .name = TYPE_ARM_GICV3_ITS,
125918f6290aSShashi Mallela     .parent = TYPE_ARM_GICV3_ITS_COMMON,
126018f6290aSShashi Mallela     .instance_size = sizeof(GICv3ITSState),
126118f6290aSShashi Mallela     .class_init = gicv3_its_class_init,
126218f6290aSShashi Mallela     .class_size = sizeof(GICv3ITSClass),
126318f6290aSShashi Mallela };
126418f6290aSShashi Mallela 
126518f6290aSShashi Mallela static void gicv3_its_register_types(void)
126618f6290aSShashi Mallela {
126718f6290aSShashi Mallela     type_register_static(&gicv3_its_info);
126818f6290aSShashi Mallela }
126918f6290aSShashi Mallela 
127018f6290aSShashi Mallela type_init(gicv3_its_register_types)
1271