kernel.git/arch/microblaze/lib/cmpdi2.c, branch linux-3.8.y Hosts the 0x221E linux distro kernel. https://git.0xinfinity.dev/distro/kernel.git/atom?h=linux-3.8.y 2012-01-05T07:22:01Z microblaze: Add __cmpdi2 2012-01-05T07:22:01Z Michal Simek 2011-11-29T12:05:30Z urn:sha1:eecb20720f1b29019725515051e41bc7c079f91f Some new kernel configurations require __cmpdi2 function. Signed-off-by: Michal Simek <monstr@monstr.eu>