It additionally gets a vm_page_reservation* argument. If not NULL, the page count of the reservation is incremented for the freed page.
It additionally gets a vm_page_reservation* argument. If not NULL, the page count of the reservation is incremented for the freed page.