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