2 * Copyright (C) 2012-2014 Panasonic Corporation
3 * Author: Masahiro Yamada <yamada.m@jp.panasonic.com>
5 * SPDX-License-Identifier: GPL-2.0+
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);
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)
21 static inline int check_support_card(void)
27 static inline void uniphier_board_reset(void)
32 static inline void uniphier_board_init(void)
37 static inline void uniphier_board_late_init(void)
39 support_card_late_init();
42 #endif /* ARCH_BOARD_H */