/*
 * Generic ARM Programmable Interrupt Controller support.
 *
 * Copyright (c) 2006 CodeSourcery.
 * Written by Paul Brook
 *
 * This code is licenced under the LGPL
 */

#include "hw.h"
#include "arm-misc.h"
#include "devtree.h"

/* Stub functions for hardware that doesn't exist.  */
void pic_info(void)
{
}

void irq_info(void)
{
}


/* Input 0 is IRQ and input 1 is FIQ.  */
static void arm_pic_cpu_handler(void *opaque, int irq, int level)
{
    CPUState *env = (CPUState *)opaque;
    switch (irq) {
    case ARM_PIC_CPU_IRQ:
        if (level)
            cpu_interrupt(env, CPU_INTERRUPT_HARD);
        else
            cpu_reset_interrupt(env, CPU_INTERRUPT_HARD);
        break;
    case ARM_PIC_CPU_FIQ:
        if (level)
            cpu_interrupt(env, CPU_INTERRUPT_FIQ);
        else
            cpu_reset_interrupt(env, CPU_INTERRUPT_FIQ);
        break;
    default:
        cpu_abort(env, "arm_pic_cpu_handler: Bad interrput line %d\n", irq);
    }
}

/* FIXME: This is obsolete.  */
qemu_irq *arm_pic_init_cpu(CPUState *env)
{
    return qemu_allocate_irqs(arm_pic_cpu_handler, env, 2);
}

/* Override default CPU settings with user supplied values.  */
void arm_cpu_reset_dev(CPUState *env)
{
    QEMUDevice *dev = env->qdev;
    char buf[64];
    uint32_t v;
    int i;

    if (!dev)
        return;

    v = qdev_get_property_int(dev, "cp15,ctr");
    if (v != 0xffffffffu)
        env->cp15.c0_cachetype = v;
    v = qdev_get_property_int(dev, "cp15,clid");
    if (v != 0xffffffffu)
        env->cp15.c0_clid = v;
    for (i = 0; i < 7; i++) {
        sprintf(buf, "cp15,ccsid%d", i);
        v = qdev_get_property_int(dev, buf);
        if (v != 0xffffffffu)
            env->cp15.c0_ccsid[i << 1] = v;
        sprintf(buf, "cp15,ccsid%di", i);
        v = qdev_get_property_int(dev, buf);
        if (v != 0xffffffffu)
            env->cp15.c0_ccsid[(i << 1) + 1] = v;
    }

}

static void arm_cpu_create(QEMUDevice *dev)
{
    CPUState *env;
    const char *name;
    char model[64];
    int i;

    name = qdev_get_name(dev);
    if (strncmp(name, "ARM,", 4) == 0)
        name += 4;

    i = 0;
    while (name[i] && name[i] != '@' && i < 63) {
        model[i] = tolower(name[i]);
        i++;
    }
    model[i] = 0;

    env = cpu_arm_init(model, dev);

    if (!env) {
        fprintf(stderr, "Unable to find CPU definition %s\n", model);
        exit(1);
    }

    qdev_create_interrupts(dev, arm_pic_cpu_handler, env, 2);
}

void cpu_device_register(void)
{
    int i;
    char buf[13];

    cpu_device_class = qdev_new("cpu", arm_cpu_create, 0);
    qdev_add_property_int(cpu_device_class, "cp15,ctr", 0xffffffffu);
    qdev_add_property_int(cpu_device_class, "cp15,clid", 0xffffffffu);
    for (i = 0; i < 7; i++) {
        sprintf(buf, "cp15,ccsid%d", i);
        qdev_add_property_int(cpu_device_class, buf, 0xffffffffu);
        sprintf(buf, "cp15,ccsid%di", i);
        qdev_add_property_int(cpu_device_class, buf, 0xffffffffu);
    }
}