|
@@ -45,11 +45,6 @@ static inline int pte_file(pte_t pte) { return 0; }
|
|
|
*/
|
|
*/
|
|
|
#define ZERO_PAGE(vaddr) (virt_to_page(0))
|
|
#define ZERO_PAGE(vaddr) (virt_to_page(0))
|
|
|
|
|
|
|
|
-/*
|
|
|
|
|
- * These would be in other places but having them here reduces the diffs.
|
|
|
|
|
- */
|
|
|
|
|
-extern unsigned int kobjsize(const void *objp);
|
|
|
|
|
-
|
|
|
|
|
/*
|
|
/*
|
|
|
* No page table caches to initialise.
|
|
* No page table caches to initialise.
|
|
|
*/
|
|
*/
|