diff options
Diffstat (limited to 'include/sbi_utils/irqchip/plic.h')
-rw-r--r-- | include/sbi_utils/irqchip/plic.h | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/include/sbi_utils/irqchip/plic.h b/include/sbi_utils/irqchip/plic.h new file mode 100644 index 0000000..eb97123 --- /dev/null +++ b/include/sbi_utils/irqchip/plic.h @@ -0,0 +1,21 @@ +/* + * SPDX-License-Identifier: BSD-2-Clause + * + * Copyright (c) 2019 Western Digital Corporation or its affiliates. + * + * Authors: + * Anup Patel <anup.patel@wdc.com> + */ + +#ifndef __IRQCHIP_PLIC_H__ +#define __IRQCHIP_PLIC_H__ + +#include <sbi/sbi_types.h> + +void plic_fdt_fixup(void *fdt, const char *compat); + +int plic_warm_irqchip_init(u32 target_hart, int m_cntx_id, int s_cntx_id); + +int plic_cold_irqchip_init(unsigned long base, u32 num_sources, u32 hart_count); + +#endif |