fdt_ipi.h 635 B

1234567891011121314151617181920212223242526272829303132333435
  1. /*
  2. * SPDX-License-Identifier: BSD-2-Clause
  3. *
  4. * Copyright (c) 2020 Western Digital Corporation or its affiliates.
  5. *
  6. * Authors:
  7. * Anup Patel <anup.patel@wdc.com>
  8. */
  9. #ifndef __FDT_IPI_H__
  10. #define __FDT_IPI_H__
  11. #include <sbi/sbi_types.h>
  12. #ifdef CONFIG_FDT_IPI
  13. struct fdt_ipi {
  14. const struct fdt_match *match_table;
  15. int (*cold_init)(void *fdt, int nodeoff, const struct fdt_match *match);
  16. int (*warm_init)(void);
  17. void (*exit)(void);
  18. };
  19. void fdt_ipi_exit(void);
  20. int fdt_ipi_init(bool cold_boot);
  21. #else
  22. static inline void fdt_ipi_exit(void) { }
  23. static inline int fdt_ipi_init(bool cold_boot) { return 0; }
  24. #endif
  25. #endif