mali_probe(): Failed to initialize Mali device driver

[frol]

Here is the relevant part of dmesg:

[    4.848420] random: crng init done
[    7.735934] s5p-jpeg 11840000.jpeg-codec: encoder device registered as /dev/video0
[    7.742644] s5p-jpeg 11840000.jpeg-codec: decoder device registered as /dev/video1
[    7.750545] s5p-jpeg 11840000.jpeg-codec: Samsung S5P JPEG codec
[    7.781883] Mali: Mali platform: source g3d clock rate = 533 MHz
[    7.782262] Mali: Mali platform: g3d clock rate = 24 MHz
[    7.794401] Mali: ERR: drivers/gpu/arm/mali/common/mali_mmu.c
[    7.794554]            mali_mmu_raw_reset() 279
                          Reset request failed, MMU status is 0x00000011

[    7.801170] Mali: ERR: drivers/gpu/arm/mali/common/mali_kernel_core.c
[    7.801173]            mali_create_group() 305

[    7.801174] Failed to create MMU object

[    7.804663] Mali: ERR: drivers/gpu/arm/mali/linux/mali_kernel_linux.c
[    7.804671]            mali_probe() 449
                          mali_probe(): Failed to initialize Mali device driver.
[    7.806085] mali-utgard: probe of 13000000.mali failed with error -14
[    7.806693] Mali: Mali device driver loaded
[    7.830616] s5p-mfc 13400000.codec: decoder registered as /dev/video2
[    7.830814] s5p-mfc 13400000.codec: encoder registered as /dev/video3
[    7.836674] Unable to handle kernel paging request at virtual address edde6000
[    7.836678] pgd = eda14000
[    7.836682] [edde6000] *pgd=6dc1141e(bad)
[    7.836688] Internal error: Oops: 8000000d [#1] PREEMPT SMP ARM
[    7.836700] Modules linked in: extcon_odroid_usbotg(+) mali s5p_mfc s5p_jpeg videobuf2_dma_contig videobuf2_memops v4l2_mem2mem videobuf2_v4l2 videobuf2_core
[    7.836705] CPU: 0 PID: 1662 Comm: systemd-sysctl Not tainted 4.8.4-1-odroid #1

There is no /dev/mali, though there is mali module in lsmod.

[ztombol]

Not sure about 4.8.4, but I just booted 4.8.5 and it does have /dev/mali.

dmesg:

[    4.289907] Mali: Mali platform: source g3d clock rate = 533 MHz
[    4.290357] Mali: Mali platform: g3d clock rate = 24 MHz
[    4.372179] Mali: Mali device driver loaded
[    4.374080] s5p-jpeg 11840000.jpeg-codec: encoder device registered as /dev/video0
[    4.380999] s5p-jpeg 11840000.jpeg-codec: decoder device registered as /dev/video1
[    4.388454] s5p-jpeg 11840000.jpeg-codec: Samsung S5P JPEG codec
[    4.406389] s5p-mfc 13400000.codec: decoder registered as /dev/video2
[    4.408428] s5p-mfc 13400000.codec: encoder registered as /dev/video3

lsmod:

Module                  Size  Used by
extcon_odroid_usbotg     2705  0
s5p_mfc                110364  0
s5p_jpeg                33307  0
mali                   126571  0
videobuf2_dma_contig     7424  2 s5p_jpeg,s5p_mfc
videobuf2_memops         1076  1 videobuf2_dma_contig
v4l2_mem2mem             7833  1 s5p_jpeg
videobuf2_v4l2           9822  3 s5p_jpeg,s5p_mfc,v4l2_mem2mem
videobuf2_core          24795  4 s5p_jpeg,s5p_mfc,v4l2_mem2mem,videobuf2_v4l2

[ztombol]

I get the same dmesg and lsmod output on 4.8.4. And /dev/mali is preset too. I have a U2, not a U3 but that shouldn't matter.

[frol]

Hmm, it is weird. Yet, I need to get my board bootable again to see what is going on... Thank you for confirming that at least it works for you.