dev/arm/gic_v2.cc

214         Addr int_num = daddr - GICD_IPRIORITYR.start();
215         assert(int_num < INT_LINES_MAX);
217                 int_num);
222             return getIntPriority(ctx, int_num);
224             assert((int_num + 1) < INT_LINES_MAX);
225             return (getIntPriority(ctx, int_num) |
226                     getIntPriority(ctx, int_num+1) << 8);
228             assert((int_num + 3) < INT_LINES_MAX);
229             return (getIntPriority(ctx, int_num) |
230                     getIntPriority(ctx, int_num+1) << 8 |
231                     getIntPriority(ctx, int_num+2) << 16 |
232                     getIntPriority(ctx, int_num+3) << 24);
237         Addr int_num = daddr - GICD_ITARGETSR.start();
239                  int_num);
240         assert(int_num < INT_LINES_MAX);
243             return getCpuTarget(ctx, int_num);
246             int_num = mbits(int_num, 31, 2);
247             return (getCpuTarget(ctx, int_num) |
248                     getCpuTarget(ctx, int_num+1) << 8 |
249                     getCpuTarget(ctx, int_num+2) << 16 |
250                     getCpuTarget(ctx, int_num+3) << 24) ;
350                 uint32_t int_num = 1 << (cpuHighestInt[ctx] - SGI_MAX);
351                 cpuPpiActive[ctx] |= int_num;
353                 cpuPpiPending[ctx] &= ~int_num;
356                 uint32_t int_num = 1 << intNumToBit(cpuHighestInt[ctx]);
357                 getActiveInt(ctx, intNumToWord(cpuHighestInt[ctx])) |= int_num;
361                       &= ~int_num;
479         Addr int_num = daddr - GICD_IPRIORITYR.start();
482             getIntPriority(ctx, int_num) = data;
485             getIntPriority(ctx, int_num) = bits(data, 7, 0);
486             getIntPriority(ctx, int_num + 1) = bits(data, 15, 8);
490             getIntPriority(ctx, int_num) = bits(data, 7, 0);
491             getIntPriority(ctx, int_num + 1) = bits(data, 15, 8);
492             getIntPriority(ctx, int_num + 2) = bits(data, 23, 16);
493             getIntPriority(ctx, int_num + 3) = bits(data, 31, 24);
507         Addr int_num = daddr - GICD_ITARGETSR.start();
510         if (int_num >= offset) {
511             unsigned ix = int_num - offset; // index into cpuTarget array
521             updateIntState(int_num >> 2);
605             uint32_t int_num = 1 << (iar.ack_id - SGI_MAX);
606             if (!(cpuPpiActive[ctx] & int_num))
609             cpuPpiActive[ctx] &= ~int_num;
611             uint32_t int_num = 1 << intNumToBit(iar.ack_id);
612             if (!(getActiveInt(ctx, intNumToWord(iar.ack_id)) & int_num))
615             getActiveInt(ctx, intNumToWord(iar.ack_id)) &= ~int_num;
763             for (int ppi_idx = 0, int_num = SGI_MAX;
764                  int_num < PPI_MAX + SGI_MAX;
765                  ppi_idx++, int_num++) {
768                 const bool ppi_enabled = bits(getIntEnabled(cpu, 0), int_num);
770                     highest_pri > getIntPriority(cpu, int_num);
773                     highest_pri = getIntPriority(cpu, int_num);
774                     highest_int = int_num;
916 GicV2::clearInt(ContextID ctx, uint32_t int_num)
918     if (isFiq(ctx, int_num)) {