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_init(void);
14 void support_card_late_init(void);
15 void led_puts(const char *s);
16 #else
17 static inline void support_card_init(void)
18 {
19 }
20 
21 static inline void support_card_late_init(void)
22 {
23 }
24 
25 static inline void led_puts(const char *s)
26 {
27 }
28 #endif
29 
30 #endif /* MICRO_SUPPORT_CARD_H */
31