2018-06-11 01:02:14 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018 Antmicro <www.antmicro.com>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
2018-09-15 01:43:44 +08:00
|
|
|
#ifndef ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_PLIC_H_
|
|
|
|
#define ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_PLIC_H_
|
2018-06-11 01:02:14 +08:00
|
|
|
|
|
|
|
#include <soc.h>
|
|
|
|
|
|
|
|
#define PLIC_IRQS (CONFIG_NUM_IRQS - RISCV_MAX_GENERIC_IRQ)
|
|
|
|
#define PLIC_EN_SIZE ((PLIC_IRQS >> 5) + 1)
|
|
|
|
|
|
|
|
#endif
|