diff options
| author | Benjamin Herrenschmidt <benh@kernel.crashing.org> | 2003-06-13 21:15:30 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@home.transmeta.com> | 2003-06-13 21:15:30 -0700 |
| commit | f3d844bce28bb95b18af48cd634f75ea6454530b (patch) | |
| tree | 72ef5d4f0d23703abd7b4b2acdc6404685133b80 /include | |
| parent | f3d302d93630d06be4b5e1d9468878914434945c (diff) | |
[PATCH] Nuke check_highmem_ptes()
It was broken on at least ppc32 & sparc32, and the debugging it
offered wasn't worth it any more anyway.
Diffstat (limited to 'include')
| -rw-r--r-- | include/linux/highmem.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/include/linux/highmem.h b/include/linux/highmem.h index 3bc7bcb3c252..4cd2f596e705 100644 --- a/include/linux/highmem.h +++ b/include/linux/highmem.h @@ -32,13 +32,6 @@ static inline void *kmap(struct page *page) #endif /* CONFIG_HIGHMEM */ -#if defined(CONFIG_DEBUG_HIGHMEM) && defined(CONFIG_HIGHMEM) -extern void check_highmem_ptes(void); -#else -static inline void check_highmem_ptes(void) -{} -#endif - /* when CONFIG_HIGHMEM is not set these will be plain clear/copy_page */ static inline void clear_user_highpage(struct page *page, unsigned long vaddr) { |