Running hdmi_modules on xc7z045

[alahut-janteq]

I have a project that is using the
Video Phy Controller (2.2)
HDMI 1.4/2.0 Receiver Subsystem (3.1)
HDMI 1.4/2.0 Transmitter Subsystem (3.1)
that is running on Petalinux 2018.2 I am able to compile the package but when inserting the modules I get:
root@plnx:/lib/modules/4.14.0-xilinx-v2018.2/extra/hdmi# modprobe xilinx-vphy dyndbg==pmf
[ 431.771112] xilinx_vphy: Unknown symbol __aeabi_uldivmod (err 0)
[ 431.777334] xilinx_vphy: Unknown symbol __aeabi_ldivmod (err 0)

This seems to be an incompatibility between the kernel (32-bit) and the the 64-bit math. Is there a way to remedy this problem?

[selfmoon]

how did you solve the program?