cdev_pager_free_page
cdev_pager_free_page(devobj, m);
cdev_pager_free_page(vm_obj, m);
cdev_pager_free_page(obj, m);
void cdev_pager_free_page(vm_object_t object, vm_page_t m);