micro-support-card.h 669 B

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