1*107b3fb4SMasahiro Yamada /* 2*107b3fb4SMasahiro Yamada * Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com> 3*107b3fb4SMasahiro Yamada * 4*107b3fb4SMasahiro Yamada * SPDX-License-Identifier: GPL-2.0+ 5*107b3fb4SMasahiro Yamada */ 6*107b3fb4SMasahiro Yamada 7*107b3fb4SMasahiro Yamada #ifndef ARCH_BOARD_H 8*107b3fb4SMasahiro Yamada #define ARCH_BOARD_H 9*107b3fb4SMasahiro Yamada 10*107b3fb4SMasahiro Yamada #if defined(CONFIG_MICRO_SUPPORT_CARD) 11*107b3fb4SMasahiro Yamada void support_card_reset(void); 12*107b3fb4SMasahiro Yamada void support_card_init(void); 13*107b3fb4SMasahiro Yamada void support_card_late_init(void); 14*107b3fb4SMasahiro Yamada int check_support_card(void); 15*107b3fb4SMasahiro Yamada void led_puts(const char *s); 16*107b3fb4SMasahiro Yamada #else 17*107b3fb4SMasahiro Yamada static inline void support_card_reset(void) 18*107b3fb4SMasahiro Yamada { 19*107b3fb4SMasahiro Yamada } 20*107b3fb4SMasahiro Yamada 21*107b3fb4SMasahiro Yamada static inline void support_card_init(void) 22*107b3fb4SMasahiro Yamada { 23*107b3fb4SMasahiro Yamada } 24*107b3fb4SMasahiro Yamada 25*107b3fb4SMasahiro Yamada static inline void support_card_late_init(void) 26*107b3fb4SMasahiro Yamada { 27*107b3fb4SMasahiro Yamada } 28*107b3fb4SMasahiro Yamada 29*107b3fb4SMasahiro Yamada static inline int check_support_card(void) 30*107b3fb4SMasahiro Yamada { 31*107b3fb4SMasahiro Yamada return 0; 32*107b3fb4SMasahiro Yamada } 33*107b3fb4SMasahiro Yamada 34*107b3fb4SMasahiro Yamada static inline void led_puts(const char *s) 35*107b3fb4SMasahiro Yamada { 36*107b3fb4SMasahiro Yamada } 37*107b3fb4SMasahiro Yamada #endif 38*107b3fb4SMasahiro Yamada 39*107b3fb4SMasahiro Yamada #endif /* ARCH_BOARD_H */ 40