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