L4linux __raw_writesl/readl undefined

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Mar 31 00:17:16 CEST 2017

Hi Manolis,

On Thu Mar 30, 2017 at 15:08:00 +0300, Manolis Ragkousis wrote:
> I am trying to enable sd card support on my zedboard running l4linux and
> I get this error:
> ERROR: "__raw_writesl" [drivers/mmc/host/mmci.ko] undefined!
> ERROR: "__raw_readsl" [drivers/mmc/host/mmci.ko] undefined!
> make[2]: *** [../scripts/Makefile.modpost:91: __modpost] Error 1
> make[1]: *** [/home/manolis/repos/l4linux/Makefile:1173: modules] Error 2
> make[1]: *** Waiting for unfinished jobs....
>   LD      ldrImage
>   GZIP    vmlinuz
>   LOCINST vmlinuz
> make[1]: Leaving directory '/home/manolis/repos/l4linux/build'
> make: *** [Makefile:150: sub-make] Error 2
Upps, for some reason the export for those symbols was disabled some
long time ago. I think it's not necessary (anymore). Please just remove
the CONFIG_L4 ifndef guards for __raw_writesl etc in
Alternatively don't build as module.

Thanks for reporting!

More information about the l4-hackers mailing list