2 * Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
4 * SPDX-License-Identifier: GPL-2.0+
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);
16 #define support_card_reset() do {} while (0)
17 #define support_card_init() do {} while (0)
18 #define support_card_late_init() do {} while (0)
19 static inline int check_support_card(void)
25 static inline void uniphier_board_reset(void)
30 static inline void uniphier_board_init(void)
35 static inline void uniphier_board_late_init(void)
37 support_card_late_init();
40 #endif /* ARCH_BOARD_H */