Fix a device pager leak for the case where the page already exists in the
authorMatthew Dillon <dillon@dragonflybsd.org>
Wed, 21 Jul 2004 01:25:18 +0000 (01:25 +0000)
committerMatthew Dillon <dillon@dragonflybsd.org>
Wed, 21 Jul 2004 01:25:18 +0000 (01:25 +0000)
commit2f1821cab42255c7061e7449a0897bdce15a3409
tree5d29a77693ffa3ace0d657d255227d65f73fcd70
parent7fe5a2bd1269c515b07578f767b2461d0260a37f
Fix a device pager leak for the case where the page already exists in the
VM object (typical case: multiple mappings of the device?).  If the page
already exists we simply update its physical address.  It is unclear whether
the physical address would ever actually be different, however.

This is an untested patch.

Original-patch-written-by: Christian Zander @ NVIDIA
Workaround-suggested-by: Tor Egge <tegge@freebsd.org>
Submitted-by: Emiel Kollof <coolvibe@hackerheaven.org>
sys/vm/device_pager.c
sys/vm/vm_map.c