+const struct memory_object_pager_ops device_pager_ops = {
+ .memory_object_reference = device_pager_reference,
+ .memory_object_deallocate = device_pager_deallocate,
+ .memory_object_init = device_pager_init,
+ .memory_object_terminate = device_pager_terminate,
+ .memory_object_data_request = device_pager_data_request,
+ .memory_object_data_return = device_pager_data_return,
+ .memory_object_data_initialize = device_pager_data_initialize,
+ .memory_object_data_unlock = device_pager_data_unlock,
+ .memory_object_synchronize = device_pager_synchronize,
+ .memory_object_map = device_pager_map,
+ .memory_object_last_unmap = device_pager_last_unmap,
+ .memory_object_data_reclaim = NULL,
+ .memory_object_backing_object = NULL,
+ .memory_object_pager_name = "device pager"
+};
+
+typedef uintptr_t device_port_t;