1*2874c5fdSThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-or-later */ 2028ee972SAlbert Herranz /* 3028ee972SAlbert Herranz * arch/powerpc/platforms/embedded6xx/flipper-pic.h 4028ee972SAlbert Herranz * 5028ee972SAlbert Herranz * Nintendo GameCube/Wii "Flipper" interrupt controller support. 6028ee972SAlbert Herranz * Copyright (C) 2004-2009 The GameCube Linux Team 7028ee972SAlbert Herranz * Copyright (C) 2007,2008,2009 Albert Herranz 8028ee972SAlbert Herranz */ 9028ee972SAlbert Herranz 10028ee972SAlbert Herranz #ifndef __FLIPPER_PIC_H 11028ee972SAlbert Herranz #define __FLIPPER_PIC_H 12028ee972SAlbert Herranz 13028ee972SAlbert Herranz unsigned int flipper_pic_get_irq(void); 14028ee972SAlbert Herranz void __init flipper_pic_probe(void); 15028ee972SAlbert Herranz 16028ee972SAlbert Herranz void flipper_quiesce(void); 17028ee972SAlbert Herranz void flipper_platform_reset(void); 18028ee972SAlbert Herranz int flipper_is_reset_button_pressed(void); 19028ee972SAlbert Herranz 20028ee972SAlbert Herranz #endif 21