patch-2.0.13 linux/mm/memory.c
Next file: linux/mm/page_alloc.c
Previous file: linux/include/linux/ucdrom.h
Back to the patch index
Back to the overall index
- Lines: 8
- Date:
Wed Aug 14 10:28:06 1996
- Orig file:
v2.0.12/linux/mm/memory.c
- Orig date:
Tue Jul 23 14:03:43 1996
diff -u --recursive --new-file v2.0.12/linux/mm/memory.c linux/mm/memory.c
@@ -534,7 +534,6 @@
static void put_page(pte_t * page_table, pte_t pte)
{
if (!pte_none(*page_table)) {
- printk("put_page: page already exists %08lx\n", pte_val(*page_table));
free_page(pte_page(pte));
return;
}
FUNET's LINUX-ADM group, linux-adm@nic.funet.fi
TCL-scripts by Sam Shen, slshen@lbl.gov