/*
 * Copyright © 2017-2021 The Crust Firmware Authors.
 * SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
 */

#ifndef PLATFORM_IRQ_H
#define PLATFORM_IRQ_H

#define IRQ_NMI      0x00
#define IRQ_R_TIMER0 0x01
#define IRQ_R_TIMER1 0x02
#define IRQ_R_WDOG   0x04
#define IRQ_R_CIR_RX 0x05
#define IRQ_R_UART   0x06
#define IRQ_R_RSB    0x07
#define IRQ_R_THS    0x09
#define IRQ_R_LRADC  0x0a
#define IRQ_R_I2C    0x0c
#define IRQ_R_PIO_PL 0x0d
#define IRQ_R_TWD    0x0e

#define IRQ_MSGBOX   0x11

#endif /* PLATFORM_IRQ_H */
