| // SPDX-License-Identifier: GPL-2.0-or-later |
| * Copyright (C) 2016 Imagination Technologies |
| * Author: Paul Burton <paul.burton@mips.com> |
| #include <linux/clk-provider.h> |
| #include <linux/clocksource.h> |
| #include <asm/mips-cps.h> |
| mips_cpu_fdc_irq = gic_get_c0_fdc_int(); |
| else if (cp0_fdc_irq >= 0) |
| mips_cpu_fdc_irq = MIPS_CPU_IRQ_BASE + cp0_fdc_irq; |
| int get_c0_perfcount_int(void) |
| mips_cpu_perf_irq = gic_get_c0_perfcount_int(); |
| else if (cp0_perfcount_irq >= 0) |
| mips_cpu_perf_irq = MIPS_CPU_IRQ_BASE + cp0_perfcount_irq; |
| return mips_cpu_perf_irq; |
| unsigned int get_c0_compare_int(void) |
| mips_cpu_timer_irq = gic_get_c0_compare_int(); |
| mips_cpu_timer_irq = MIPS_CPU_IRQ_BASE + cp0_compare_irq; |
| return mips_cpu_timer_irq; |