udoo: Adjust the SD card device numbering
[platform/kernel/u-boot.git] / include / common.h
1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Common header file for U-Boot
4  *
5  * This file still includes quite a few headers that should be included
6  * individually as needed. Patches to remove things are welcome.
7  *
8  * (C) Copyright 2000-2009
9  * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
10  */
11
12 #ifndef __COMMON_H_
13 #define __COMMON_H_     1
14
15 #ifndef __ASSEMBLY__            /* put C only stuff in this section */
16 #include <config.h>
17 #include <errno.h>
18 #include <time.h>
19 #include <linux/types.h>
20 #include <linux/printk.h>
21 #include <linux/string.h>
22 #include <stdarg.h>
23 #include <stdio.h>
24 #include <linux/kernel.h>
25 #include <asm/u-boot.h> /* boot information for Linux kernel */
26 #include <display_options.h>
27 #include <vsprintf.h>
28 #endif  /* __ASSEMBLY__ */
29
30 /* Pull in stuff for the build system */
31 #ifdef DO_DEPS_ONLY
32 # include <env_internal.h>
33 #endif
34
35 #endif  /* __COMMON_H_ */