diff options
| author | Anup Patel <apatel@ventanamicro.com> | 2021-04-20 14:03:40 +0300 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2022-02-15 18:06:24 +0300 |
| commit | 9f73669959dd8ec2f1261b639f9540799dc976a1 (patch) | |
| tree | 49f9cfc8a3a8afcb544c2433024f4310ed8e1c2f /include/sbi_utils/irqchip | |
| parent | 55e79f823dfa65022a561d3078ac50d49262e246 (diff) | |
| download | opensbi-9f73669959dd8ec2f1261b639f9540799dc976a1.tar.xz | |
lib: utils/irqchip: Add IMSIC library
We add simple IMSIC library which is independent of hardware description
format (FDT or ACPI). This IMSIC library can be used by custom OpenSBI
platform support to setup IMSIC for external interrupts.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Signed-off-by: Anup Patel <apatel@ventanamicro.com>
Reviewed-by: Atish Patra <atishp@rivosinc.com>
Diffstat (limited to 'include/sbi_utils/irqchip')
| -rw-r--r-- | include/sbi_utils/irqchip/imsic.h | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/include/sbi_utils/irqchip/imsic.h b/include/sbi_utils/irqchip/imsic.h new file mode 100644 index 0000000..cffcb5a --- /dev/null +++ b/include/sbi_utils/irqchip/imsic.h @@ -0,0 +1,50 @@ +/* + * SPDX-License-Identifier: BSD-2-Clause + * + * Copyright (c) 2021 Western Digital Corporation or its affiliates. + * Copyright (c) 2022 Ventana Micro Systems Inc. + * + * Authors: + * Anup Patel <anup.patel@wdc.com> + */ + +#ifndef __IRQCHIP_IMSIC_H__ +#define __IRQCHIP_IMSIC_H__ + +#include <sbi/sbi_types.h> + +#define IMSIC_MMIO_PAGE_SHIFT 12 +#define IMSIC_MMIO_PAGE_SZ (1UL << IMSIC_MMIO_PAGE_SHIFT) + +#define IMSIC_MAX_REGS 16 + +struct imsic_regs { + unsigned long addr; + unsigned long size; +}; + +struct imsic_data { + bool targets_mmode; + u32 guest_index_bits; + u32 hart_index_bits; + u32 group_index_bits; + u32 group_index_shift; + unsigned long num_ids; + struct imsic_regs regs[IMSIC_MAX_REGS]; +}; + +int imsic_map_hartid_to_data(u32 hartid, struct imsic_data *imsic, int file); + +struct imsic_data *imsic_get_data(u32 hartid); + +int imsic_get_target_file(u32 hartid); + +void imsic_local_irqchip_init(void); + +int imsic_warm_irqchip_init(void); + +int imsic_data_check(struct imsic_data *imsic); + +int imsic_cold_irqchip_init(struct imsic_data *imsic); + +#endif |