+const struct memory_object_pager_ops device_pager_ops = {
+ device_pager_reference,
+ device_pager_deallocate,
+ device_pager_init,
+ device_pager_terminate,
+ device_pager_data_request,
+ device_pager_data_return,
+ device_pager_data_initialize,
+ device_pager_data_unlock,
+ device_pager_synchronize,
+ device_pager_map,
+ device_pager_last_unmap,
+ NULL, /* data_reclaim */
+ "device pager"
+};
+
+typedef uintptr_t device_port_t;