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.git] / kitten / include / rca / rca_l0_linux.h
1 /*
2  * Copyright (c) 2004 Cray Inc.
3  *
4  * The contents of this file is proprietary information of Cray Inc. 
5  * and may not be disclosed without prior written consent.
6  *
7  */
8 /*
9  * This code is licensed under the GNU General Public License,
10  * Version 2.  See the file COPYING for more details.
11  */
12
13
14 #ifndef __RCA_L0_LINUX_H__
15 #define __RCA_L0_LINUX_H__
16
17 #include <lwk/version.h>
18
19 /* 
20  * LINUX:
21  * This works as long as the physical address is below 4GB and a static 
22  * page table mapping has been setup for this address. This macro is 
23  * intended to be used before ioremap() is available for e.g in the case
24  * of early_printk.
25  */
26 #define rca_l0_comm_va(addr) \
27         (void*)(((unsigned long)0xFFFFFFFF << 32) | (unsigned long)(addr))
28
29 extern int l0rca_os_init(void);
30
31 #endif  /* __RCA_L0_LINUX_H__ */