summaryrefslogtreecommitdiffstats
path: root/src/soc/samsung/exynos5420
diff options
context:
space:
mode:
authorElyes HAOUAS <ehaouas@noos.fr>2019-03-29 17:12:15 +0100
committerPatrick Georgi <pgeorgi@google.com>2019-04-23 10:01:36 +0000
commitcd4fe0f718cfc49e5d58f1770e23cd065a26241e (patch)
treea1b335fc76f89e79480456e3c6cd1672f4eefb2c /src/soc/samsung/exynos5420
parent351e3e520ba71b4aafaf930af37f78b71c1d7251 (diff)
downloadcoreboot-cd4fe0f718cfc49e5d58f1770e23cd065a26241e.tar.gz
coreboot-cd4fe0f718cfc49e5d58f1770e23cd065a26241e.tar.bz2
coreboot-cd4fe0f718cfc49e5d58f1770e23cd065a26241e.zip
src: include <assert.h> when appropriate
Change-Id: Ib843eb7144b7dc2932931b9e8f3f1d816bcc1e1a Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/26796 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org> Reviewed-by: David Guckian
Diffstat (limited to 'src/soc/samsung/exynos5420')
-rw-r--r--src/soc/samsung/exynos5420/alternate_cbfs.c1
-rw-r--r--src/soc/samsung/exynos5420/pinmux.c1
2 files changed, 0 insertions, 2 deletions
diff --git a/src/soc/samsung/exynos5420/alternate_cbfs.c b/src/soc/samsung/exynos5420/alternate_cbfs.c
index a1e92a08bc4b..ba3f9a3c8744 100644
--- a/src/soc/samsung/exynos5420/alternate_cbfs.c
+++ b/src/soc/samsung/exynos5420/alternate_cbfs.c
@@ -14,7 +14,6 @@
*/
#include <arch/cache.h>
-#include <assert.h>
#include <boot_device.h>
#include <console/console.h>
#include <soc/alternate_cbfs.h>
diff --git a/src/soc/samsung/exynos5420/pinmux.c b/src/soc/samsung/exynos5420/pinmux.c
index d8c13780a495..999afa0247cc 100644
--- a/src/soc/samsung/exynos5420/pinmux.c
+++ b/src/soc/samsung/exynos5420/pinmux.c
@@ -13,7 +13,6 @@
* GNU General Public License for more details.
*/
-#include <assert.h>
#include <soc/gpio.h>
#include <soc/pinmux.h>
#include <stdlib.h>