1 /*
2  * Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #ifndef ARCH_BOARD_H
8 #define ARCH_BOARD_H
9 
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 int check_support_card(void);
15 void led_puts(const char *s);
16 #else
17 static inline void support_card_reset(void)
18 {
19 }
20 
21 static inline void support_card_init(void)
22 {
23 }
24 
25 static inline void support_card_late_init(void)
26 {
27 }
28 
29 static inline int check_support_card(void)
30 {
31 	return 0;
32 }
33 
34 static inline void led_puts(const char *s)
35 {
36 }
37 #endif
38 
39 #endif /* ARCH_BOARD_H */
40