Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios-OLD.git] / kitten / include / rca / rca_l0_linux.h
diff --git a/kitten/include/rca/rca_l0_linux.h b/kitten/include/rca/rca_l0_linux.h
new file mode 100644 (file)
index 0000000..017b051
--- /dev/null
@@ -0,0 +1,31 @@
+/*
+ * Copyright (c) 2004 Cray Inc.
+ *
+ * The contents of this file is proprietary information of Cray Inc. 
+ * and may not be disclosed without prior written consent.
+ *
+ */
+/*
+ * This code is licensed under the GNU General Public License,
+ * Version 2.  See the file COPYING for more details.
+ */
+
+
+#ifndef        __RCA_L0_LINUX_H__
+#define        __RCA_L0_LINUX_H__
+
+#include <lwk/version.h>
+
+/* 
+ * LINUX:
+ * This works as long as the physical address is below 4GB and a static 
+ * page table mapping has been setup for this address. This macro is 
+ * intended to be used before ioremap() is available for e.g in the case
+ * of early_printk.
+ */
+#define rca_l0_comm_va(addr) \
+       (void*)(((unsigned long)0xFFFFFFFF << 32) | (unsigned long)(addr))
+
+extern int l0rca_os_init(void);
+
+#endif /* __RCA_L0_LINUX_H__ */