summaryrefslogtreecommitdiff
path: root/device/device_pager.srv
diff options
context:
space:
mode:
Diffstat (limited to 'device/device_pager.srv')
-rw-r--r--device/device_pager.srv44
1 files changed, 44 insertions, 0 deletions
diff --git a/device/device_pager.srv b/device/device_pager.srv
new file mode 100644
index 0000000..e4e52ea
--- /dev/null
+++ b/device/device_pager.srv
@@ -0,0 +1,44 @@
+/*
+ * Copyright (c) 1994 The University of Utah and
+ * the Computer Systems Laboratory at the University of Utah (CSL).
+ * All rights reserved.
+ *
+ * Permission to use, copy, modify and distribute this software is hereby
+ * granted provided that (1) source code retains these copyright, permission,
+ * and disclaimer notices, and (2) redistributions including binaries
+ * reproduce the notices in supporting documentation, and (3) all advertising
+ * materials mentioning features or use of this software display the following
+ * acknowledgement: ``This product includes software developed by the
+ * Computer Systems Laboratory at the University of Utah.''
+ *
+ * THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF THIS SOFTWARE IN ITS "AS
+ * IS" CONDITION. THE UNIVERSITY OF UTAH AND CSL DISCLAIM ANY LIABILITY OF
+ * ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
+ *
+ * CSL requests users of this software to return to csl-dist@cs.utah.edu any
+ * improvements that they make and grant CSL redistribution rights.
+ *
+ * Author: Bryan Ford, University of Utah CSL
+ */
+/* This is a server presentation file. */
+
+#define KERNEL_SERVER 1
+
+#define memory_object device_pager
+
+/*
+ * Rename all of the functions in the pager interface, to avoid
+ * confusing them with the kernel interface.
+ */
+#define memory_object_init device_pager_init_pager
+#define memory_object_terminate device_pager_terminate
+#define memory_object_copy device_pager_copy
+#define memory_object_data_request device_pager_data_request
+#define memory_object_data_unlock device_pager_data_unlock
+#define memory_object_data_write device_pager_data_write
+#define memory_object_lock_completed device_pager_lock_completed
+#define memory_object_supply_completed device_pager_supply_completed
+#define memory_object_data_return device_pager_data_return
+#define memory_object_change_completed device_pager_change_completed
+
+#include <mach/memory_object.defs>