2014-10-03 19:21:06 +09:00
|
|
|
/*
|
2015-09-11 20:17:45 +09:00
|
|
|
* Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
|
2014-10-03 19:21:06 +09:00
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef ARCH_BOARD_H
|
|
|
|
#define ARCH_BOARD_H
|
|
|
|
|
2015-09-11 20:17:45 +09:00
|
|
|
#if defined(CONFIG_MICRO_SUPPORT_CARD)
|
2014-10-03 19:21:06 +09:00
|
|
|
void support_card_reset(void);
|
|
|
|
void support_card_init(void);
|
2014-12-06 00:03:26 +09:00
|
|
|
void support_card_late_init(void);
|
2014-10-03 19:21:06 +09:00
|
|
|
int check_support_card(void);
|
2015-09-22 00:27:31 +09:00
|
|
|
void led_puts(const char *s);
|
2014-10-03 19:21:06 +09:00
|
|
|
#else
|
2015-09-22 00:27:30 +09:00
|
|
|
static inline void support_card_reset(void)
|
2014-10-03 19:21:06 +09:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2015-09-22 00:27:30 +09:00
|
|
|
static inline void support_card_init(void)
|
2014-10-03 19:21:06 +09:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2015-09-22 00:27:30 +09:00
|
|
|
static inline void support_card_late_init(void)
|
2014-10-03 19:21:06 +09:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2015-09-22 00:27:30 +09:00
|
|
|
static inline int check_support_card(void)
|
2014-12-06 00:03:26 +09:00
|
|
|
{
|
2015-09-22 00:27:30 +09:00
|
|
|
return 0;
|
2014-12-06 00:03:26 +09:00
|
|
|
}
|
2015-09-22 00:27:31 +09:00
|
|
|
|
|
|
|
static inline void led_puts(const char *s)
|
|
|
|
{
|
|
|
|
}
|
2015-09-22 00:27:30 +09:00
|
|
|
#endif
|
2014-12-06 00:03:26 +09:00
|
|
|
|
2014-10-03 19:21:06 +09:00
|
|
|
#endif /* ARCH_BOARD_H */
|