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)21static inline int check_support_card(void) 22 { 23 return 0; 24 } 25 #endif 26 uniphier_board_reset(void)27static inline void uniphier_board_reset(void) 28 { 29 support_card_reset(); 30 } 31 uniphier_board_init(void)32static inline void uniphier_board_init(void) 33 { 34 support_card_init(); 35 } 36 uniphier_board_late_init(void)37static inline void uniphier_board_late_init(void) 38 { 39 support_card_late_init(); 40 } 41 42 #endif /* ARCH_BOARD_H */ 43