2 * Copyright (C) 2012-2014 Panasonic Corporation
3 * Copyright (C) 2015-2016 Socionext Inc.
4 * Author: Masahiro Yamada <yamada.masahiro@socionext.com>
6 * SPDX-License-Identifier: GPL-2.0+
9 #ifndef MICRO_SUPPORT_CARD_H
10 #define MICRO_SUPPORT_CARD_H
12 #if defined(CONFIG_MICRO_SUPPORT_CARD)
13 void support_card_init(void);
14 void support_card_late_init(void);
15 void led_puts(const char *s);
17 static inline void support_card_init(void)
21 static inline void support_card_late_init(void)
25 static inline void led_puts(const char *s)
30 #endif /* MICRO_SUPPORT_CARD_H */