[PATCH 0/3] OpenSBI IPI device rating

[Anup Patel]

Introduce IPI device rating which further allows us to remove platform
specific IPI init and convert IPI drivers as early drivers.

These patches can also found in sbi_ipi_rating_v1 branch at:
https://github.com/avpatel/opensbi.git

Anup Patel (3):
  lib: sbi: Introduce IPI device rating
  include: sbi: Remove platform specific IPI init
  lib: utils/ipi: Convert IPI drivers as early drivers

 include/sbi/sbi_ipi.h                    |  6 ++++-
 include/sbi/sbi_platform.h               | 17 ------------
 include/sbi_utils/ipi/fdt_ipi.h          | 26 -------------------
 lib/sbi/sbi_init.c                       |  2 +-
 lib/sbi/sbi_ipi.c                        | 33 ++++++++++++++----------
 lib/utils/ipi/aclint_mswi.c              |  1 +
 lib/utils/ipi/andes_plicsw.c             |  1 +
 lib/utils/ipi/fdt_ipi.c                  | 22 ----------------
 lib/utils/ipi/fdt_ipi_drivers.carray     |  3 ---
 lib/utils/ipi/fdt_ipi_mswi.c             |  2 +-
 lib/utils/ipi/fdt_ipi_plicsw.c           |  2 +-
 lib/utils/ipi/objects.mk                 |  7 ++---
 lib/utils/irqchip/imsic.c                |  1 +
 platform/fpga/ariane/platform.c          | 15 +++++------
 platform/generic/openhwgroup/openpiton.c | 13 +++-------
 platform/generic/platform.c              |  2 --
 platform/kendryte/k210/platform.c        | 13 +++++-----
 platform/nuclei/ux600/platform.c         | 11 ++++----
 platform/template/platform.c             | 16 +++++-------
 19 files changed, 60 insertions(+), 133 deletions(-)
 delete mode 100644 include/sbi_utils/ipi/fdt_ipi.h
 delete mode 100644 lib/utils/ipi/fdt_ipi.c
 delete mode 100644 lib/utils/ipi/fdt_ipi_drivers.carray

-- 
2.43.0