*/
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
+
#endif /* _DEVICE_DEVICE_PORT_H_ */