#ifdef __uClinux__ #include "page_offset_no.h" #else #include "page_offset_mm.h" #endif