Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) // Copyright (C) 2005-2017 Andes Technology Corporation
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) #include <linux/irqchip.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) void __init init_IRQ(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) 	irqchip_init();
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) }