1 #ifdef CONFIG_MMU
2 #include "time_mm.c"
3 #else
4 #include "time_no.c"
5 #endif
6