#ifdef CONFIG_MMU
#include "muldi3_mm.c"
#else
#include "muldi3_no.c"
#endif