#include <asm/processor.h>
#include <asm/fixmap.h>
-#include <asm/pgtable.h>
#include <asm/cache.h>
/* Allocate the top level pgd (page directory)
#define pte_free(page) pte_free_kernel(page_address(page))
-extern int do_check_pgt_cache(int, int);
#define check_pgt_cache() do { } while (0)
#endif