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