Ingo Weinhold 9da590f73e Add vm_page_free_etc()
It additionally gets a vm_page_reservation* argument. If not NULL, the
page count of the reservation is incremented for the freed page.
2014-10-29 02:36:08 +01:00
..
2014-10-15 13:08:10 +02:00
2014-10-26 20:28:21 +01:00
2014-08-09 20:18:05 +02:00
2014-10-29 02:36:08 +01:00