summaryrefslogtreecommitdiff
path: root/src/soc/rockchip/rk3288
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/rockchip/rk3288
parent351e3e520ba71b4aafaf930af37f78b71c1d7251 (diff)
downloadcoreboot-cd4fe0f718cfc49e5d58f1770e23cd065a26241e.tar.xz
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/rockchip/rk3288')
-rw-r--r--src/soc/rockchip/rk3288/hdmi.c1
-rw-r--r--src/soc/rockchip/rk3288/tsadc.c1
2 files changed, 0 insertions, 2 deletions
diff --git a/src/soc/rockchip/rk3288/hdmi.c b/src/soc/rockchip/rk3288/hdmi.c
index 425d302fbb..b4de270fc5 100644
--- a/src/soc/rockchip/rk3288/hdmi.c
+++ b/src/soc/rockchip/rk3288/hdmi.c
@@ -20,7 +20,6 @@
*/
#include <device/mmio.h>
-#include <assert.h>
#include <console/console.h>
#include <delay.h>
#include <edid.h>
diff --git a/src/soc/rockchip/rk3288/tsadc.c b/src/soc/rockchip/rk3288/tsadc.c
index a34105d9ac..3223a4ddd4 100644
--- a/src/soc/rockchip/rk3288/tsadc.c
+++ b/src/soc/rockchip/rk3288/tsadc.c
@@ -14,7 +14,6 @@
*/
#include <device/mmio.h>
-#include <assert.h>
#include <soc/clock.h>
#include <soc/grf.h>
#include <soc/pmu.h>