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 
9 #ifndef MICRO_SUPPORT_CARD_H
10 #define MICRO_SUPPORT_CARD_H
11 
12 #if defined(CONFIG_MICRO_SUPPORT_CARD)
13 void support_card_reset(void);
14 void support_card_init(void);
15 void support_card_late_init(void);
16 void led_puts(const char *s);
17 #else
18 static inline void support_card_reset(void)
19 {
20 }
21 
22 static inline void support_card_init(void)
23 {
24 }
25 
26 static inline void support_card_late_init(void)
27 {
28 }
29 
30 static inline void led_puts(const char *s)
31 {
32 }
33 #endif
34 
35 #endif /* MICRO_SUPPORT_CARD_H */
36