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