micro-support-card.h 657 B

123456789101112131415161718192021222324252627282930313233343536373839
  1. /*
  2. * Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
  3. *
  4. * SPDX-License-Identifier: GPL-2.0+
  5. */
  6. #ifndef ARCH_BOARD_H
  7. #define ARCH_BOARD_H
  8. #if defined(CONFIG_MICRO_SUPPORT_CARD)
  9. void support_card_reset(void);
  10. void support_card_init(void);
  11. void support_card_late_init(void);
  12. int check_support_card(void);
  13. void led_puts(const char *s);
  14. #else
  15. static inline void support_card_reset(void)
  16. {
  17. }
  18. static inline void support_card_init(void)
  19. {
  20. }
  21. static inline void support_card_late_init(void)
  22. {
  23. }
  24. static inline int check_support_card(void)
  25. {
  26. return 0;
  27. }
  28. static inline void led_puts(const char *s)
  29. {
  30. }
  31. #endif
  32. #endif /* ARCH_BOARD_H */