/* SPDX-License-Identifier: GPL-2.0-only */
/*
 *  include/linux/irqchip/irq-st.h
 *
 *  Copyright (C) 2014 STMicroelectronics – All Rights Reserved
 *
 *  Author: Lee Jones <lee.jones@linaro.org>
 */

#ifndef _DT_BINDINGS_INTERRUPT_CONTROLLER_ST_H
#define _DT_BINDINGS_INTERRUPT_CONTROLLER_ST_H

#define ST_IRQ_SYSCFG_EXT_0		0
#define ST_IRQ_SYSCFG_EXT_1		1
#define ST_IRQ_SYSCFG_EXT_2		2
#define ST_IRQ_SYSCFG_CTI_0		3
#define ST_IRQ_SYSCFG_CTI_1		4
#define ST_IRQ_SYSCFG_PMU_0		5
#define ST_IRQ_SYSCFG_PMU_1		6
#define ST_IRQ_SYSCFG_pl310_L2		7
#define ST_IRQ_SYSCFG_DISABLED		0xFFFFFFFF

#define ST_IRQ_SYSCFG_EXT_1_INV		0x1
#define ST_IRQ_SYSCFG_EXT_2_INV		0x2
#define ST_IRQ_SYSCFG_EXT_3_INV		0x4

#endif