1 #ifdef __uClinux__
2 #include "pgtable_no.h"
3 #else
4 #include "pgtable_mm.h"
5 #endif
6