|
@@ -23,13 +23,6 @@ extern pgd_t init_level4_pgt[];
|
|
|
extern void paging_init(void);
|
|
|
extern void clear_kernel_mapping(unsigned long addr, unsigned long size);
|
|
|
|
|
|
-/*
|
|
|
- * ZERO_PAGE is a global shared page that is always zero: used
|
|
|
- * for zero-mapped memory areas etc..
|
|
|
- */
|
|
|
-extern unsigned long empty_zero_page[PAGE_SIZE/sizeof(unsigned long)];
|
|
|
-#define ZERO_PAGE(vaddr) (virt_to_page(empty_zero_page))
|
|
|
-
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
|
|
/*
|