platforms/embedded6xx/flipper-pic.h

0001 /* SPDX-License-Identifier: GPL-2.0-or-later */
0002 /*
0003  * arch/powerpc/platforms/embedded6xx/flipper-pic.h
0004  *
0005  * Nintendo GameCube/Wii "Flipper" interrupt controller support.
0006  * Copyright (C) 2004-2009 The GameCube Linux Team
0007  * Copyright (C) 2007,2008,2009 Albert Herranz
0008  */
0009
0010 #ifndef __FLIPPER_PIC_H
0011 #define __FLIPPER_PIC_H
0012
0013 unsigned int flipper_pic_get_irq(void);
0014 void __init flipper_pic_probe(void);
0015
0016 void flipper_quiesce(void);
0017 void flipper_platform_reset(void);
0018 int flipper_is_reset_button_pressed(void);
0019
0020 #endif