blob: e6ba4e4ee4d624abacc5457cadf1d43973d44cc2 [file] [log] [blame]
Masahiro Yamada5894ca02014-10-03 19:21:06 +09001/*
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)
13void support_card_reset(void);
14void support_card_init(void);
15int check_support_card(void);
16#else
17#define support_card_reset() do {} while (0)
18#define support_card_init() do {} while (0)
19static inline int check_support_card(void)
20{
21 return 0;
22}
23#endif
24
25static inline void uniphier_board_reset(void)
26{
27 support_card_reset();
28}
29
30static inline void uniphier_board_init(void)
31{
32 support_card_init();
33}
34
35#endif /* ARCH_BOARD_H */