diff options
| -rw-r--r-- | arch/ia64/mm/init.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/arch/ia64/mm/init.c b/arch/ia64/mm/init.c index 7f3028965064..97e48b0eefc7 100644 --- a/arch/ia64/mm/init.c +++ b/arch/ia64/mm/init.c | |||
| @@ -215,10 +215,6 @@ put_kernel_page (struct page *page, unsigned long address, pgprot_t pgprot) | |||
| 215 | pmd_t *pmd; | 215 | pmd_t *pmd; |
| 216 | pte_t *pte; | 216 | pte_t *pte; |
| 217 | 217 | ||
| 218 | if (!PageReserved(page)) | ||
| 219 | printk(KERN_ERR "put_kernel_page: page at 0x%p not in reserved memory\n", | ||
| 220 | page_address(page)); | ||
| 221 | |||
| 222 | pgd = pgd_offset_k(address); /* note: this is NOT pgd_offset()! */ | 218 | pgd = pgd_offset_k(address); /* note: this is NOT pgd_offset()! */ |
| 223 | 219 | ||
| 224 | { | 220 | { |
