1 /*
2  * Copyright (C) 2012-2014 Panasonic Corporation
3  *   Author: Masahiro Yamada <yamada.m@jp.panasonic.com>
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 
8 #ifndef ARCH_BOARD_H
9 #define ARCH_BOARD_H
10 
11 #if defined(CONFIG_PFC_MICRO_SUPPORT_CARD) || \
12 	defined(CONFIG_DCC_MICRO_SUPPORT_CARD)
13 void support_card_reset(void);
14 void support_card_init(void);
15 void support_card_late_init(void);
16 int check_support_card(void);
17 #else
18 #define support_card_reset() do {} while (0)
19 #define support_card_init()  do {} while (0)
20 #define support_card_late_init()  do {} while (0)
check_support_card(void)21 static inline int check_support_card(void)
22 {
23 	return 0;
24 }
25 #endif
26 
uniphier_board_reset(void)27 static inline void uniphier_board_reset(void)
28 {
29 	support_card_reset();
30 }
31 
uniphier_board_init(void)32 static inline void uniphier_board_init(void)
33 {
34 	support_card_init();
35 }
36 
uniphier_board_late_init(void)37 static inline void uniphier_board_late_init(void)
38 {
39 	support_card_late_init();
40 }
41 
42 #endif /* ARCH_BOARD_H */
43