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