diff options
| author | Anup Patel <[email protected]> | 2022-08-08 09:33:45 +0530 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2022-08-08 09:33:45 +0530 |
| commit | 76af9d40da21c4c67efb7730de263f914452fca0 (patch) | |
| tree | 704761bae5909f35ca6ad181987c734a7adcb494 /include | |
| parent | 013dbb3a60db0f7d9c92990b266c3df9d3552c0c (diff) | |
lib: utils/ipi: Use kconfig for enabling/disabling drivers
We update ipi drivers makefile to use kconfig for enabling/disabling
drivers. To avoid compile errors, we also enable appropriate ipi
drivers for each platform.
Signed-off-by: Anup Patel <[email protected]>
Tested-by: Andrew Jones <[email protected]>
Acked-by: Atish Patra <[email protected]>
Tested-by: Atish Patra <[email protected]>
Diffstat (limited to 'include')
| -rw-r--r-- | include/sbi_utils/ipi/fdt_ipi.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/sbi_utils/ipi/fdt_ipi.h b/include/sbi_utils/ipi/fdt_ipi.h index 93373532..1dd9062d 100644 --- a/include/sbi_utils/ipi/fdt_ipi.h +++ b/include/sbi_utils/ipi/fdt_ipi.h @@ -12,6 +12,8 @@ #include <sbi/sbi_types.h> +#ifdef CONFIG_FDT_IPI + struct fdt_ipi { const struct fdt_match *match_table; int (*cold_init)(void *fdt, int nodeoff, const struct fdt_match *match); @@ -23,4 +25,11 @@ void fdt_ipi_exit(void); int fdt_ipi_init(bool cold_boot); +#else + +static inline void fdt_ipi_exit(void) { } +static inline int fdt_ipi_init(bool cold_boot) { return 0; } + +#endif + #endif |