diff options
| author | Pasha <pasha@member.fsf.org> | 2024-02-20 18:49:50 +0000 |
|---|---|---|
| committer | Pasha <pasha@member.fsf.org> | 2024-02-20 18:49:50 +0000 |
| commit | 5e0b8d508ed51004bd836384293be00950ee62c9 (patch) | |
| tree | e3f16b1aa8b7177032ce3ec429fbad2b1d92a876 /device/device_pager.srv | |
| download | gnumach-riscv-5e0b8d508ed51004bd836384293be00950ee62c9.tar.gz gnumach-riscv-5e0b8d508ed51004bd836384293be00950ee62c9.tar.bz2 | |
init gnumach copy
Diffstat (limited to 'device/device_pager.srv')
| -rw-r--r-- | device/device_pager.srv | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/device/device_pager.srv b/device/device_pager.srv new file mode 100644 index 0000000..410323d --- /dev/null +++ b/device/device_pager.srv @@ -0,0 +1,43 @@ +/* + * 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_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> |