/gcc-4.6/libgcc/config/microblaze/