1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /*
3  * arch/powerpc/platforms/embedded6xx/flipper-pic.h
4  *
5  * Nintendo GameCube/Wii "Flipper" interrupt controller support.
6  * Copyright (C) 2004-2009 The GameCube Linux Team
7  * Copyright (C) 2007,2008,2009 Albert Herranz
8  */
9 
10 #ifndef __FLIPPER_PIC_H
11 #define __FLIPPER_PIC_H
12 
13 unsigned int flipper_pic_get_irq(void);
14 void __init flipper_pic_probe(void);
15 
16 void flipper_quiesce(void);
17 void flipper_platform_reset(void);
18 int flipper_is_reset_button_pressed(void);
19 
20 #endif
21