/*
 * Copyright © 2022 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_UART   0x06
#define IRQ_R_RSB    0x07
#define IRQ_R_ALARM0 0x08
#define IRQ_R_ALARM1 0x09

#define IRQ_R_I2C    0x0c
#define IRQ_R_PIO_PL 0x0d

#define IRQ_MSGBOX   0x11

#endif /* PLATFORM_IRQ_H */
