// SPDX-License-Identifier: GPL-2.0-only
/*
 *
 * Copyright (C) 2014 Broadcom Corporation
 * Author: Kevin Cernekee <cernekee@gmail.com>
 */

#include <linux/of.h>
#include <linux/irqchip.h>

#include <asm/bmips.h>
#include <asm/irq.h>
#include <asm/irq_cpu.h>
#include <asm/time.h>

static const struct of_device_id smp_intc_dt_match[] = {
        { .compatible = "brcm,bcm7038-l1-intc" },
        { .compatible = "brcm,bcm6345-l1-intc" },
        {}
};

unsigned int get_c0_compare_int(void)
{
        return CP0_LEGACY_COMPARE_IRQ;
}

void __init arch_init_irq(void)
{
        struct device_node *dn;

        /* Only these controllers support SMP IRQ affinity */
        dn = of_find_matching_node(NULL, smp_intc_dt_match);
        if (dn)
                of_node_put(dn);
        else
                bmips_tp1_irqs = 0;

        irqchip_init();
}

IRQCHIP_DECLARE(mips_cpu_intc, "mti,cpu-interrupt-controller",
             mips_cpu_irq_of_init);