LXR qemu/hw/arm/pxa2xx

   1/*
   2 * Intel XScale PXA Programmable Interrupt Controller.
   3 *
   4 * Copyright (c) 2006 Openedhand Ltd.
   5 * Copyright (c) 2006 Thorsten Zitterell
   6 * Written by Andrzej Zaborowski <balrog@zabor.org>
   7 *
   8 * This code is licensed under the GPL.
   9 */
  10
  11#include "hw/hw.h"
  12#include "hw/arm/pxa.h"
  13#include "hw/sysbus.h"
  14
  15#define ICIP    0x00    /* Interrupt Controller IRQ Pending register */
  16#define ICMR    0x04    /* Interrupt Controller Mask register */
  17#define ICLR    0x08    /* Interrupt Controller Level register */
  18#define ICFP    0x0c    /* Interrupt Controller FIQ Pending register */
  19#define ICPR    0x10    /* Interrupt Controller Pending register */
  20#define ICCR    0x14    /* Interrupt Controller Control register */
  21#define ICHP    0x18    /* Interrupt Controller Highest Priority register */
  22#define IPR0    0x1c    /* Interrupt Controller Priority register 0 */
  23#define IPR31   0x98    /* Interrupt Controller Priority register 31 */
  24#define ICIP2   0x9c    /* Interrupt Controller IRQ Pending register 2 */
  25#define ICMR2   0xa0    /* Interrupt Controller Mask register 2 */
  26#define ICLR2   0xa4    /* Interrupt Controller Level register 2 */
  27#define ICFP2   0xa8    /* Interrupt Controller FIQ Pending register 2 */
  28#define ICPR2   0xac    /* Interrupt Controller Pending register 2 */
  29#define IPR32   0xb0    /* Interrupt Controller Priority register 32 */
  30#define IPR39   0xcc    /* Interrupt Controller Priority register 39 */
  31
  32#define PXA2XX_PIC_SRCS 40
  33
  34#define TYPE_PXA2XX_PIC "pxa2xx_pic"
  35#define PXA2XX_PIC(obj) \
  36    OBJECT_CHECK(PXA2xxPICState, (obj), TYPE_PXA2XX_PIC)
  37
  38typedef struct {
  39    /*< private >*/
  40    SysBusDevice parent_obj;
  41    /*< public >*/
  42
  43    MemoryRegion iomem;
  44    ARMCPU *cpu;
  45    uint32_t int_enabled[2];
  46    uint32_t int_pending[2];
  47    uint32_t is_fiq[2];
  48    uint32_t int_idle;
  49    uint32_t priority[PXA2XX_PIC_SRCS];
  50} PXA2xxPICState;
  51
  52static void pxa2xx_pic_update(void *opaque)
  53{
  54    uint32_t mask[2];
  55    PXA2xxPICState *s = (PXA2xxPICState *) opaque;
  56    CPUState *cpu = CPU(s->cpu);
  57
  58    if (cpu->halted) {
  59        mask[0] = s->int_pending[0] & (s->int_enabled[0] | s->int_idle);
  60        mask[1] = s->int_pending[1] & (s->int_enabled[1] | s->int_idle);
  61        if (mask[0] || mask[1]) {
  62            cpu_interrupt(cpu, CPU_INTERRUPT_EXITTB);
  63        }
  64    }
  65
  66    mask[0] = s->int_pending[0] & s->int_enabled[0];
  67    mask[1] = s->int_pending[1] & s->int_enabled[1];
  68
  69    if ((mask[0] & s->is_fiq[0]) || (mask[1] & s->is_fiq[1])) {
  70        cpu_interrupt(cpu, CPU_INTERRUPT_FIQ);
  71    } else {
  72        cpu_reset_interrupt(cpu, CPU_INTERRUPT_FIQ);
  73    }
  74
  75    if ((mask[0] & ~s->is_fiq[0]) || (mask[1] & ~s->is_fiq[1])) {
  76        cpu_interrupt(cpu, CPU_INTERRUPT_HARD);
  77    } else {
  78        cpu_reset_interrupt(cpu, CPU_INTERRUPT_HARD);
  79    }
  80}
  81
  82/* Note: Here level means state of the signal on a pin, not
  83 * IRQ/FIQ distinction as in PXA Developer Manual.  */
  84static void pxa2xx_pic_set_irq(void *opaque, int irq, int level)
  85{
  86    PXA2xxPICState *s = (PXA2xxPICState *) opaque;
  87    int int_set = (irq >= 32);
  88    irq &= 31;
  89
  90    if (level)
  91        s->int_pending[int_set] |= 1 << irq;
  92    else
  93        s->int_pending[int_set] &= ~(1 << irq);
  94
  95    pxa2xx_pic_update(opaque);
  96}
  97
  98static inline uint32_t pxa2xx_pic_highest(PXA2xxPICState *s) {
  99    int i, int_set, irq;
 100    uint32_t bit, mask[2];
 101    uint32_t ichp = 0x003f003f; /* Both IDs invalid */
 102
 103    mask[0] = s->int_pending[0] & s->int_enabled[0];
 104    mask[1] = s->int_pending[1] & s->int_enabled[1];
 105
 106    for (i = PXA2XX_PIC_SRCS - 1; i >= 0; i --) {
 107        irq = s->priority[i] & 0x3f;
 108        if ((s->priority[i] & (1 << 31)) && irq < PXA2XX_PIC_SRCS) {
 109            /* Source peripheral ID is valid.  */
 110            bit = 1 << (irq & 31);
 111            int_set = (irq >= 32);
 112
 113            if (mask[int_set] & bit & s->is_fiq[int_set]) {
 114                /* FIQ asserted */
 115                ichp &= 0xffff0000;
 116                ichp |= (1 << 15) | irq;
 117            }
 118
 119            if (mask[int_set] & bit & ~s->is_fiq[int_set]) {
 120                /* IRQ asserted */
 121                ichp &= 0x0000ffff;
 122                ichp |= (1 << 31) | (irq << 16);
 123            }
 124        }
 125    }
 126
 127    return ichp;
 128}
 129
 130static uint64_t pxa2xx_pic_mem_read(void *opaque, hwaddr offset,
 131                                    unsigned size)
 132{
 133    PXA2xxPICState *s = (PXA2xxPICState *) opaque;
 134
 135    switch (offset) {
 136    case ICIP:  /* IRQ Pending register */
 137        return s->int_pending[0] & ~s->is_fiq[0] & s->int_enabled[0];
 138    case ICIP2: /* IRQ Pending register 2 */
 139        return s->int_pending[1] & ~s->is_fiq[1] & s->int_enabled[1];
 140    case ICMR:  /* Mask register */
 141        return s->int_enabled[0];
 142    case ICMR2: /* Mask register 2 */
 143        return s->int_enabled[1];
 144    case ICLR:  /* Level register */
 145        return s->is_fiq[0];
 146    case ICLR2: /* Level register 2 */
 147        return s->is_fiq[1];
 148    case ICCR:  /* Idle mask */
 149        return (s->int_idle == 0);
 150    case ICFP:  /* FIQ Pending register */
 151        return s->int_pending[0] & s->is_fiq[0] & s->int_enabled[0];
 152    case ICFP2: /* FIQ Pending register 2 */
 153        return s->int_pending[1] & s->is_fiq[1] & s->int_enabled[1];
 154    case ICPR:  /* Pending register */
 155        return s->int_pending[0];
 156    case ICPR2: /* Pending register 2 */
 157        return s->int_pending[1];
 158    case IPR0  ... IPR31:
 159        return s->priority[0  + ((offset - IPR0 ) >> 2)];
 160    case IPR32 ... IPR39:
 161        return s->priority[32 + ((offset - IPR32) >> 2)];
 162    case ICHP:  /* Highest Priority register */
 163        return pxa2xx_pic_highest(s);
 164    default:
 165        printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
 166        return 0;
 167    }
 168}
 169
 170static void pxa2xx_pic_mem_write(void *opaque, hwaddr offset,
 171                                 uint64_t value, unsigned size)
 172{
 173    PXA2xxPICState *s = (PXA2xxPICState *) opaque;
 174
 175    switch (offset) {
 176    case ICMR:  /* Mask register */
 177        s->int_enabled[0] = value;
 178        break;
 179    case ICMR2: /* Mask register 2 */
 180        s->int_enabled[1] = value;
 181        break;
 182    case ICLR:  /* Level register */
 183        s->is_fiq[0] = value;
 184        break;
 185    case ICLR2: /* Level register 2 */
 186        s->is_fiq[1] = value;
 187        break;
 188    case ICCR:  /* Idle mask */
 189        s->int_idle = (value & 1) ? 0 : ~0;
 190        break;
 191    case IPR0  ... IPR31:
 192        s->priority[0  + ((offset - IPR0 ) >> 2)] = value & 0x8000003f;
 193        break;
 194    case IPR32 ... IPR39:
 195        s->priority[32 + ((offset - IPR32) >> 2)] = value & 0x8000003f;
 196        break;
 197    default:
 198        printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
 199        return;
 200    }
 201    pxa2xx_pic_update(opaque);
 202}
 203
 204/* Interrupt Controller Coprocessor Space Register Mapping */
 205static const int pxa2xx_cp_reg_map[0x10] = {
 206    [0x0 ... 0xf] = -1,
 207    [0x0] = ICIP,
 208    [0x1] = ICMR,
 209    [0x2] = ICLR,
 210    [0x3] = ICFP,
 211    [0x4] = ICPR,
 212    [0x5] = ICHP,
 213    [0x6] = ICIP2,
 214    [0x7] = ICMR2,
 215    [0x8] = ICLR2,
 216    [0x9] = ICFP2,
 217    [0xa] = ICPR2,
 218};
 219
 220static int pxa2xx_pic_cp_read(CPUARMState *env, const ARMCPRegInfo *ri,
 221                              uint64_t *value)
 222{
 223    int offset = pxa2xx_cp_reg_map[ri->crn];
 224    *value = pxa2xx_pic_mem_read(ri->opaque, offset, 4);
 225    return 0;
 226}
 227
 228static int pxa2xx_pic_cp_write(CPUARMState *env, const ARMCPRegInfo *ri,
 229                               uint64_t value)
 230{
 231    int offset = pxa2xx_cp_reg_map[ri->crn];
 232    pxa2xx_pic_mem_write(ri->opaque, offset, value, 4);
 233    return 0;
 234}
 235
 236#define REGINFO_FOR_PIC_CP(NAME, CRN) \
 237    { .name = NAME, .cp = 6, .crn = CRN, .crm = 0, .opc1 = 0, .opc2 = 0, \
 238      .access = PL1_RW, \
 239      .readfn = pxa2xx_pic_cp_read, .writefn = pxa2xx_pic_cp_write }
 240
 241static const ARMCPRegInfo pxa_pic_cp_reginfo[] = {
 242    REGINFO_FOR_PIC_CP("ICIP", 0),
 243    REGINFO_FOR_PIC_CP("ICMR", 1),
 244    REGINFO_FOR_PIC_CP("ICLR", 2),
 245    REGINFO_FOR_PIC_CP("ICFP", 3),
 246    REGINFO_FOR_PIC_CP("ICPR", 4),
 247    REGINFO_FOR_PIC_CP("ICHP", 5),
 248    REGINFO_FOR_PIC_CP("ICIP2", 6),
 249    REGINFO_FOR_PIC_CP("ICMR2", 7),
 250    REGINFO_FOR_PIC_CP("ICLR2", 8),
 251    REGINFO_FOR_PIC_CP("ICFP2", 9),
 252    REGINFO_FOR_PIC_CP("ICPR2", 0xa),
 253    REGINFO_SENTINEL
 254};
 255
 256static const MemoryRegionOps pxa2xx_pic_ops = {
 257    .read = pxa2xx_pic_mem_read,
 258    .write = pxa2xx_pic_mem_write,
 259    .endianness = DEVICE_NATIVE_ENDIAN,
 260};
 261
 262static int pxa2xx_pic_post_load(void *opaque, int version_id)
 263{
 264    pxa2xx_pic_update(opaque);
 265    return 0;
 266}
 267
 268DeviceState *pxa2xx_pic_init(hwaddr base, ARMCPU *cpu)
 269{
 270    DeviceState *dev = qdev_create(NULL, TYPE_PXA2XX_PIC);
 271    PXA2xxPICState *s = PXA2XX_PIC(dev);
 272
 273    s->cpu = cpu;
 274
 275    s->int_pending[0] = 0;
 276    s->int_pending[1] = 0;
 277    s->int_enabled[0] = 0;
 278    s->int_enabled[1] = 0;
 279    s->is_fiq[0] = 0;
 280    s->is_fiq[1] = 0;
 281
 282    qdev_init_nofail(dev);
 283
 284    qdev_init_gpio_in(dev, pxa2xx_pic_set_irq, PXA2XX_PIC_SRCS);
 285
 286    /* Enable IC memory-mapped registers access.  */
 287    memory_region_init_io(&s->iomem, OBJECT(s), &pxa2xx_pic_ops, s,
 288                          "pxa2xx-pic", 0x00100000);
 289    sysbus_init_mmio(SYS_BUS_DEVICE(dev), &s->iomem);
 290    sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, base);
 291
 292    /* Enable IC coprocessor access.  */
 293    define_arm_cp_regs_with_opaque(cpu, pxa_pic_cp_reginfo, s);
 294
 295    return dev;
 296}
 297
 298static VMStateDescription vmstate_pxa2xx_pic_regs = {
 299    .name = "pxa2xx_pic",
 300    .version_id = 0,
 301    .minimum_version_id = 0,
 302    .minimum_version_id_old = 0,
 303    .post_load = pxa2xx_pic_post_load,
 304    .fields = (VMStateField[]) {
 305        VMSTATE_UINT32_ARRAY(int_enabled, PXA2xxPICState, 2),
 306        VMSTATE_UINT32_ARRAY(int_pending, PXA2xxPICState, 2),
 307        VMSTATE_UINT32_ARRAY(is_fiq, PXA2xxPICState, 2),
 308        VMSTATE_UINT32(int_idle, PXA2xxPICState),
 309        VMSTATE_UINT32_ARRAY(priority, PXA2xxPICState, PXA2XX_PIC_SRCS),
 310        VMSTATE_END_OF_LIST(),
 311    },
 312};
 313
 314static int pxa2xx_pic_initfn(SysBusDevice *dev)
 315{
 316    return 0;
 317}
 318
 319static void pxa2xx_pic_class_init(ObjectClass *klass, void *data)
 320{
 321    DeviceClass *dc = DEVICE_CLASS(klass);
 322    SysBusDeviceClass *k = SYS_BUS_DEVICE_CLASS(klass);
 323
 324    k->init = pxa2xx_pic_initfn;
 325    dc->desc = "PXA2xx PIC";
 326    dc->vmsd = &vmstate_pxa2xx_pic_regs;
 327}
 328
 329static const TypeInfo pxa2xx_pic_info = {
 330    .name          = TYPE_PXA2XX_PIC,
 331    .parent        = TYPE_SYS_BUS_DEVICE,
 332    .instance_size = sizeof(PXA2xxPICState),
 333    .class_init    = pxa2xx_pic_class_init,
 334};
 335
 336static void pxa2xx_pic_register_types(void)
 337{
 338    type_register_static(&pxa2xx_pic_info);
 339}
 340
 341type_init(pxa2xx_pic_register_types)
 342