#ifdef __KERNEL__
+#include <linux/config.h>
/*
* Work out if we need multiple CPU support
#include <asm/memory.h>
-#ifdef CONFIG_MMU
-
#define cpu_switch_mm(pgd,mm) cpu_do_switch_mm(virt_to_phys(pgd),mm)
#define cpu_get_pgd() \
(pgd_t *)phys_to_virt(pg); \
})
-#endif
-
#endif /* __ASSEMBLY__ */
#endif /* __KERNEL__ */
#endif /* __ASM_PROCFNS_H */