Symbol: old_dev_pager_dtor
sys/vm/device_pager.c
86
static void old_dev_pager_dtor(void *handle);
sys/vm/device_pager.c
92
.cdev_pg_dtor = old_dev_pager_dtor,