Hi Rita,
I will share a dmesg log soon. For reproducing this issue - you could use any standard SD MMC card on NXP imx8mnevk board running NXP's L5.4.3 BSP release. After the mmc host driver is up, you need to change the clock on mmc device to 12Mhz and you should see the issue right away. For example, I used the below commands to change the max frequency of the mmc clock.
==
echo 8 > /proc/sys/kernel/printk
# Dump the current clock frequency
cat /sys/kernel/debug/mmc0/ios
sleep 0.5
# Change to 12Mhz
echo 12000000 > /sys/kernel/debug/mmc0/clock
sleep 1
# Check if it is correctly set
cat /sys/kernel/debug/mmc0/ios
==
At this point, any moment you should see the above stack dump.
Regards
Ramesh