Anup Patel ee92afa638 lib: sbi: Introduce IPI device rating ...

A platform can have multiple IPI devices (such as ACLINT MSWI,
AIA IMSIC, etc). Currently, OpenSBI rely on platform calling
the sbi_ipi_set_device() function in correct order and prefer
the first avaiable IPI device which is fragile.

Instead of the above, introduce IPI device rating and prefer
the highest rated IPI device. This further allows extending
the sbi_ipi_raw_clear() to clear all available IPI devices.

Signed-off-by: Anup Patel <apatel@ventanamicro.com>
Tested-by: Nick Hu <nick.hu@sifive.com>
Link: https://lore.kernel.org/r/20250904052410.546818-2-apatel@ventanamicro.com
Signed-off-by: Anup Patel <anup@brainfault.org>

2025-09-16 09:56:31 +05:30

..

aplic.c

lib: utils: Fix irqchip registration for PLIC and APLIC

2024-12-24 14:06:09 +05:30

fdt_irqchip_aplic.c

lib: utils/irqchip: Use fdt_driver for initialization

2025-02-12 21:22:37 +05:30

fdt_irqchip_drivers.carray

lib: utils/irqchip: Use fdt_driver for initialization

2025-02-12 21:22:37 +05:30

fdt_irqchip_imsic.c

lib: utils/irqchip: Use fdt_driver for initialization

2025-02-12 21:22:37 +05:30

fdt_irqchip_plic.c

lib: sbi: Use sbi_hart_count() and sbi_for_each_hartindex()

2025-03-24 17:57:20 +05:30

fdt_irqchip.c

lib: utils/irqchip: Use fdt_driver for initialization

2025-02-12 21:22:37 +05:30

imsic.c

lib: sbi: Introduce IPI device rating

2025-09-16 09:56:31 +05:30

Kconfig

lib: utils/fdt: Use kconfig for enabling/disabling

2022-08-08 09:34:08 +05:30

objects.mk

Makefile: change to using .carray.c for carray files

2024-07-04 12:11:45 +05:30

plic.c

lib: sbi: Use sbi_hart_count() and sbi_for_each_hartindex()

2025-03-24 17:57:20 +05:30