xnu-7195.101.1.tar.gz

[apple/xnu.git] / osfmk / device / device_port.h

diff --git a/osfmk/device/device_port.h b/osfmk/device/device_port.h
index a2445bab1c5bfabeb583420569af6be662119c66..e73e85c501fc5cf8145f1ae648c594796c57cbf2 100644 (file)
--- a/osfmk/device/device_port.h
+++ b/osfmk/device/device_port.h
@@ -2,7 +2,7 @@
  * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
- * 
+ *
  * This file contains Original Code and/or Modifications of Original Code
  * as defined in and that are subject to the Apple Public Source License
  * Version 2.0 (the 'License'). You may not use this file except in
@@ -11,10 +11,10 @@
  * unlawful or unlicensed copies of an Apple operating system, or to
  * circumvent, violate, or enable the circumvention or violation of, any
  * terms of an Apple operating system software license agreement.
- * 
+ *
  * Please obtain a copy of the License at
  * http://www.opensource.apple.com/apsl/ and read it before using this file.
- * 
+ *
  * The Original Code and all software distributed under the License are
  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
@@ -22,34 +22,34 @@
  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  * Please see the License for the specific language governing rights and
  * limitations under the License.
- * 
+ *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  */
 /*
  * @OSF_COPYRIGHT@
  */
-/* 
+/*
  * Mach Operating System
  * Copyright (c) 1991,1990,1989 Carnegie Mellon University
  * All Rights Reserved.
- * 
+ *
  * Permission to use, copy, modify and distribute this software and its
  * documentation is hereby granted, provided that both the copyright
  * notice and this permission notice appear in all copies of the
  * software, derivative works or modified versions, and any portions
  * thereof, and that both notices appear in supporting documentation.
- * 
+ *
  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- * 
+ *
  * Carnegie Mellon requests users of this software to return to
- * 
+ *
  *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
  *  School of Computer Science
  *  Carnegie Mellon University
  *  Pittsburgh PA 15213-3890
- * 
+ *
  * any improvements or extensions that they make and grant Carnegie Mellon
  * the rights to redistribute these changes.
  */
@@ -57,25 +57,38 @@
  */
 /*
  *     Author: David B. Golub, Carnegie Mellon University
- *     Date:   8/89
+ *     Date:   8/89
  */
 
-#ifndef        _DEVICE_DEVICE_PORT_H_
-#define        _DEVICE_DEVICE_PORT_H_
+#ifndef _DEVICE_DEVICE_PORT_H_
+#define _DEVICE_DEVICE_PORT_H_
 
 #include <device/device_types.h>
 
 /*
  *     Master privileged I/O object for this host
  */
-extern mach_port_t     master_device_port;
+extern mach_port_t      master_device_port;
+
+#define DEVICE_PAGER_GUARDED            0x1
+#define DEVICE_PAGER_COHERENT           0x2
+#define DEVICE_PAGER_CACHE_INHIB        0x4
+#define DEVICE_PAGER_WRITE_THROUGH      0x8
+#define DEVICE_PAGER_CONTIGUOUS         0x100
+#define DEVICE_PAGER_NOPHYSCACHE        0x200
+
+#ifdef XNU_KERNEL_PRIVATE
+#include <vm/memory_types.h>
+
+_Static_assert(((DEVICE_PAGER_CONTIGUOUS | DEVICE_PAGER_NOPHYSCACHE) & VM_WIMG_MASK) == 0,
+    "device pager flags overlap WIMG mask");
+
+/* Assert on the backwards-compatible DEVICE_PAGER* values */
+_Static_assert(DEVICE_PAGER_GUARDED == VM_MEM_GUARDED, "DEVICE_PAGER_GUARDED != VM_MEM_GUARDED");
+_Static_assert(DEVICE_PAGER_COHERENT == VM_MEM_COHERENT, "DEVICE_PAGER_COHERENT != VM_MEM_COHERENT");
+_Static_assert(DEVICE_PAGER_CACHE_INHIB == VM_MEM_NOT_CACHEABLE, "DEVICE_PAGER_CACHE_INHIB != VM_MEM_NOT_CACHEABLE");
+_Static_assert(DEVICE_PAGER_WRITE_THROUGH == VM_MEM_WRITE_THROUGH, "DEVICE_PAGER_WRITE_THROUGH != VM_MEM_WRITE_THROUGH");
 
-#define DEVICE_PAGER_GUARDED           0x1
-#define DEVICE_PAGER_COHERENT          0x2
-#define DEVICE_PAGER_CACHE_INHIB       0x4
-#define DEVICE_PAGER_WRITE_THROUGH     0x8
-#define DEVICE_PAGER_EARLY_ACK         0x20
-#define DEVICE_PAGER_CONTIGUOUS                0x100
-#define DEVICE_PAGER_NOPHYSCACHE       0x200
+#endif /* KERNEL_PRIVATE */
 
-#endif /* _DEVICE_DEVICE_PORT_H_ */
+#endif  /* _DEVICE_DEVICE_PORT_H_ */