L4linux __raw_writesl/readl undefined

[Adam Lackorzynski]

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
arch/l4/kernel/arch-arm/armksyms.c.
Alternatively don't build as module.


Thanks for reporting!
Adam