9os

Experimental kernel using plan9 ideas for embedded device
git clone git://git.simple-cc.org/9os
Log | Files | Refs | README | LICENSE

arch.h (874B)

      1 /* SCTLR_EL1 */
      2 #define SCTLR (3ul<<28 | 3ul<<22 | 1ul<<20 | 1ul<<11)
      3 #define M (1ul << 0)
      4 #define A (1ul << 1)
      5 #define C (1ul << 2)
      6 #define SA (1ul << 3)
      7 #define SA0 (1ul << 4)
      8 #define CP15BEN (1ul << 5)
      9 #define THEE (1ul << 6)
     10 #define ITD (1ul << 7)
     11 #define SED (1ul << 8)
     12 #define UMA (1ul << 9)
     13 #define I (1ul << 12)
     14 #define DZE (1ul << 14)
     15 #define UCT (1ul << 15)
     16 #define nTWI (1ul << 16)
     17 #define nTWE (1ul << 18)
     18 #define WXN (1ul << 19)
     19 #define E0E (1ul << 24)
     20 #define EE (1ul << 25)
     21 #define UCI (1ul << 26)
     22 
     23 extern void main(Mach *);
     24 extern void syswr(int, unsigned long long);
     25 extern unsigned long long sysrd(int);
     26 extern void invalltlb(void);
     27 extern void invtlb(uintptr_t);
     28 extern void invdcachesetway(void *);
     29 extern void *outsync(void);
     30 
     31 extern void immu(void);
     32 extern void ifpu(void);
     33 extern void igic(void);
     34 
     35 /* globals */
     36 extern int inlowmem;
     37 extern Mach mach;