1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2012-2014 Panasonic Corporation
4 * Copyright (C) 2015-2016 Socionext Inc.
5 *   Author: Masahiro Yamada <yamada.masahiro@socionext.com>
6 */
7
8#ifndef MICRO_SUPPORT_CARD_H
9#define MICRO_SUPPORT_CARD_H
10
11#if defined(CONFIG_MICRO_SUPPORT_CARD)
12void support_card_init(void);
13void support_card_late_init(void);
14void led_puts(const char *s);
15#else
16static inline void support_card_init(void)
17{
18}
19
20static inline void support_card_late_init(void)
21{
22}
23
24static inline void led_puts(const char *s)
25{
26}
27#endif
28
29#endif /* MICRO_SUPPORT_CARD_H */
30