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 int check_support_card(void);
17 #define support_card_reset() do {} while (0)
18 #define support_card_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 #endif /* ARCH_BOARD_H */