18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * 48c2ecf20Sopenharmony_ci * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com> 58c2ecf20Sopenharmony_ci * Copyright (C) 2015 John Crispin <john@phrozen.org> 68c2ecf20Sopenharmony_ci */ 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#include <linux/init.h> 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci#include <linux/of.h> 118c2ecf20Sopenharmony_ci#include <linux/irqchip.h> 128c2ecf20Sopenharmony_ci#include <asm/mips-cps.h> 138c2ecf20Sopenharmony_ci 148c2ecf20Sopenharmony_ciint get_c0_perfcount_int(void) 158c2ecf20Sopenharmony_ci{ 168c2ecf20Sopenharmony_ci return gic_get_c0_perfcount_int(); 178c2ecf20Sopenharmony_ci} 188c2ecf20Sopenharmony_ciEXPORT_SYMBOL_GPL(get_c0_perfcount_int); 198c2ecf20Sopenharmony_ci 208c2ecf20Sopenharmony_civoid __init arch_init_irq(void) 218c2ecf20Sopenharmony_ci{ 228c2ecf20Sopenharmony_ci irqchip_init(); 238c2ecf20Sopenharmony_ci} 24