Re: ERROR: "vmf_insert_mixed" [drivers/gpu/drm/exynos/exynosdrm.ko] undefined!

2019-08-02 Thread Sam Ravnborg
build tree > > GCC_VERSION=7.4.0 make.cross ARCH=h8300 > > > > If you fix the issue, kindly add following tag > > Reported-by: kbuild test robot > > > > All errors (new ones prefixed by >>): > > > >>> ERROR: "vmf_insert_

Re: ERROR: "vmf_insert_mixed" [drivers/gpu/drm/exynos/exynosdrm.ko] undefined!

2019-08-02 Thread Inki Dae
bot > > All errors (new ones prefixed by >>): > >>> ERROR: "vmf_insert_mixed" [drivers/gpu/drm/exynos/exynosdrm.ko] undefined! With below patch I think the build error reported already will be fixed, https://patchwork.kernel.org/patch/11035147/ Thanks, Inki Dae &g

ERROR: "vmf_insert_mixed" [drivers/gpu/drm/exynos/exynosdrm.ko] undefined!

2019-07-24 Thread kbuild test robot
to linux build tree GCC_VERSION=7.4.0 make.cross ARCH=h8300 If you fix the issue, kindly add following tag Reported-by: kbuild test robot All errors (new ones prefixed by >>): >> ERROR: "vmf_insert_mixed" [drivers/gpu/drm/exynos/exynosdrm.ko] undefined! --- 0-DAY kern